Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings, edited by Rudrapatna K. Shyamasundar, (electronic resource)
Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings, edited by Rudrapatna K. Shyamasundar, (electronic resource)
Resource Information
The item Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings, edited by Rudrapatna K. Shyamasundar, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings, edited by Rudrapatna K. Shyamasundar, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual forum for the presentation of new research results in India and abroad. This year, 119 papers from 20 countries were submitted. Each paper was reviewed by at least three reviewers, and 33 papers were selected for presentation and included in this volume, grouped into parts on type theory, parallel algorithms, term rewriting, logic and constraint logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms, and algorithms and learning theory. Also included in the volume are the five invited papers presented at theconference
 Language
 eng
 Extent
 CDLXXVI, 462 p.
 Contents

 Some observations about the nature of computer science
 Essential intersection type assignment
 Labelselective ?calculus syntax and confluence
 Conventional and uniqueness typing in graph rewrite systems
 A metalanguage for typed objectoriented languages
 Preemption in concurrent systems
 Local versus nonlocal computation of length of digitized curves
 Dataindependences of parallel random access machines
 Proving termination of logic programs by transforming them into equivalent term rewriting systems
 Completeness of hierarchical combinations of term rewriting systems
 Higherorder and semantic unification
 A conservative extension of firstorder logic and its applications to theorem proving
 Wellfounded Ordered Search (extended abstract)
 A realtime interval logic and its decision procedure
 On the semantics of optimization predicates in CLP languages
 Incremental algorithms for constraint solving and entailment over rational trees
 Proximity problems and the Voronoi diagram on a rectilinear plane with rectangular obstacles
 Feasibility of design in stereolithography
 Compact location problems
 On some communication complexity problems related to threshold functions
 Recursiveness over the complex numbers is timebounded
 A lower bound for solvability of polynomial equations
 Reuse of proofs in software verification
 Inducestatements and induceexpressions: Constructs for inductive programming
 A graphic language based on timing diagrams
 Software technology: Integrating theory and practice
 Generating degrees of belief from statistical information: An overview
 Complexity results for 1safe nets
 Some results about logical descriptions of non deterministic behaviours
 Order structures and generalisations of Szpilrajn's theorem
 ICSP and its relationship with ACSP and CSP
 On reductionbased process semantics
 Keeping track of the latest gossip: Bounded timestamps suffice
 Time optimal selfstabilizing spanning tree algorithms
 Efficient algorithm to sort linear combinations of arrays
 A simple file structure for the weighted dictionary problem
 Searching, sorting and randomised algorithms for Central Elements and ideal counting in posets
 Learning classes of Regular and Linear Languages in Valiant's learnability framework
 Isbn
 9783540482116
 Label
 Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings
 Title
 Foundations of Software Technology and Theoretical Computer Science
 Title remainder
 13th Conference Bombay, India, December 15–17, 1993 Proceedings
 Statement of responsibility
 edited by Rudrapatna K. Shyamasundar
 Subject

 Computation by Abstract Devices
 Combinatorics
 Computer graphics
 Computer Graphics
 Computer science
 Computer science
 Logic design
 Mathematical Logic and Formal Languages
 Computer Science
 Computer Science
 Combinatorics
 Electronic resources
 Programming Languages, Compilers, Interpreters
 Computer graphics
 Logics and Meanings of Programs
 Logic design
 Computer Science
 Computer Graphics
 Computer science
 Language
 eng
 Summary
 For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual forum for the presentation of new research results in India and abroad. This year, 119 papers from 20 countries were submitted. Each paper was reviewed by at least three reviewers, and 33 papers were selected for presentation and included in this volume, grouped into parts on type theory, parallel algorithms, term rewriting, logic and constraint logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms, and algorithms and learning theory. Also included in the volume are the five invited papers presented at theconference
 http://library.link/vocab/creatorName
 Shyamasundar, Rudrapatna K
 Image bit depth
 0
 LC call number

 QA76.9.L63
 QA76.5913
 QA76.63
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName
 SpringerLink
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 761
 http://library.link/vocab/subjectName

 Computer science
 Logic design
 Computer graphics
 Combinatorics
 Computer Science
 Logics and Meanings of Programs
 Computation by Abstract Devices
 Programming Languages, Compilers, Interpreters
 Mathematical Logic and Formal Languages
 Combinatorics
 Computer Graphics
 Label
 Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings, edited by Rudrapatna K. Shyamasundar, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Some observations about the nature of computer science  Essential intersection type assignment  Labelselective ?calculus syntax and confluence  Conventional and uniqueness typing in graph rewrite systems  A metalanguage for typed objectoriented languages  Preemption in concurrent systems  Local versus nonlocal computation of length of digitized curves  Dataindependences of parallel random access machines  Proving termination of logic programs by transforming them into equivalent term rewriting systems  Completeness of hierarchical combinations of term rewriting systems  Higherorder and semantic unification  A conservative extension of firstorder logic and its applications to theorem proving  Wellfounded Ordered Search (extended abstract)  A realtime interval logic and its decision procedure  On the semantics of optimization predicates in CLP languages  Incremental algorithms for constraint solving and entailment over rational trees  Proximity problems and the Voronoi diagram on a rectilinear plane with rectangular obstacles  Feasibility of design in stereolithography  Compact location problems  On some communication complexity problems related to threshold functions  Recursiveness over the complex numbers is timebounded  A lower bound for solvability of polynomial equations  Reuse of proofs in software verification  Inducestatements and induceexpressions: Constructs for inductive programming  A graphic language based on timing diagrams  Software technology: Integrating theory and practice  Generating degrees of belief from statistical information: An overview  Complexity results for 1safe nets  Some results about logical descriptions of non deterministic behaviours  Order structures and generalisations of Szpilrajn's theorem  ICSP and its relationship with ACSP and CSP  On reductionbased process semantics  Keeping track of the latest gossip: Bounded timestamps suffice  Time optimal selfstabilizing spanning tree algorithms  Efficient algorithm to sort linear combinations of arrays  A simple file structure for the weighted dictionary problem  Searching, sorting and randomised algorithms for Central Elements and ideal counting in posets  Learning classes of Regular and Linear Languages in Valiant's learnability framework
 Dimensions
 unknown
 Extent
 CDLXXVI, 462 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540482116
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540575294
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540482116
 Label
 Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings, edited by Rudrapatna K. Shyamasundar, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Some observations about the nature of computer science  Essential intersection type assignment  Labelselective ?calculus syntax and confluence  Conventional and uniqueness typing in graph rewrite systems  A metalanguage for typed objectoriented languages  Preemption in concurrent systems  Local versus nonlocal computation of length of digitized curves  Dataindependences of parallel random access machines  Proving termination of logic programs by transforming them into equivalent term rewriting systems  Completeness of hierarchical combinations of term rewriting systems  Higherorder and semantic unification  A conservative extension of firstorder logic and its applications to theorem proving  Wellfounded Ordered Search (extended abstract)  A realtime interval logic and its decision procedure  On the semantics of optimization predicates in CLP languages  Incremental algorithms for constraint solving and entailment over rational trees  Proximity problems and the Voronoi diagram on a rectilinear plane with rectangular obstacles  Feasibility of design in stereolithography  Compact location problems  On some communication complexity problems related to threshold functions  Recursiveness over the complex numbers is timebounded  A lower bound for solvability of polynomial equations  Reuse of proofs in software verification  Inducestatements and induceexpressions: Constructs for inductive programming  A graphic language based on timing diagrams  Software technology: Integrating theory and practice  Generating degrees of belief from statistical information: An overview  Complexity results for 1safe nets  Some results about logical descriptions of non deterministic behaviours  Order structures and generalisations of Szpilrajn's theorem  ICSP and its relationship with ACSP and CSP  On reductionbased process semantics  Keeping track of the latest gossip: Bounded timestamps suffice  Time optimal selfstabilizing spanning tree algorithms  Efficient algorithm to sort linear combinations of arrays  A simple file structure for the weighted dictionary problem  Searching, sorting and randomised algorithms for Central Elements and ideal counting in posets  Learning classes of Regular and Linear Languages in Valiant's learnability framework
 Dimensions
 unknown
 Extent
 CDLXXVI, 462 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540482116
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540575294
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540482116
Subject
 Combinatorics
 Combinatorics
 Computation by Abstract Devices
 Computer Graphics
 Computer Graphics
 Computer Science
 Computer Science
 Computer Science
 Computer graphics
 Computer graphics
 Computer science
 Computer science
 Computer science
 Electronic resources
 Logic design
 Logic design
 Logics and Meanings of Programs
 Mathematical Logic and Formal Languages
 Programming Languages, Compilers, Interpreters
Member of
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/FoundationsofSoftwareTechnologyand/Eq1w2YXPIKI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/FoundationsofSoftwareTechnologyand/Eq1w2YXPIKI/">Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings, edited by Rudrapatna K. Shyamasundar, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings, edited by Rudrapatna K. Shyamasundar, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/FoundationsofSoftwareTechnologyand/Eq1w2YXPIKI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/FoundationsofSoftwareTechnologyand/Eq1w2YXPIKI/">Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings, edited by Rudrapatna K. Shyamasundar, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>