Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005553499/catalog> ?p ?o. }

• catalog abstract ""This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations."--PUBLISHER'S WEBSITE.".
• catalog contributor b7826554.
• catalog contributor b7826555.
• catalog contributor b7826556.
• catalog contributor b7826557.
• catalog created "c1994.".
• catalog date "1994".
• catalog date "c1994.".
• catalog dateCopyrighted "c1994.".
• catalog description ""This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations."--PUBLISHER'S WEBSITE.".
• catalog description "Includes bibliographical references.".
• catalog description "Oracles and Quantifiers / J.A. Makowsky and Y.B. Pnueli -- A Horn Clause that Implies an Undecidable Set of Horn Clauses / J. Marcinkowski -- Higher-order Action Calculi / R. Milner -- A Generic Strong Normalisation Argument: Application to the Calculus of Constructions / C.-H.L. Ong and E. Ritter -- Data Types, Infinity and Equality in System AF[subscript 2] / C. Raffalli -- Normalisation for Typed Lambda Calculi with Explicit Substitution / E. Ritter -- Program Transformation and Proof Transformation / W. Sieg and S.S. Wainer -- Incorporating Generalised Quantifiers and the Least Fixed Point Operator / I.A. Stewart -- Errata to "The Semantics of the C Programming Language" / Y. Gurevich and J.K. Huggins.".
• catalog description "The Complexity of Set Constraints / A. Aiken, D. Kozen, M. Vardi and E. Wimmers -- On Duality for the Modal [mu]-calculus / S. Ambler, M. Kwiatkowska and N. Measor -- Short Proofs of Tautologies Using the Schema of Equivalence / M. Baaz and R. Zach -- Process Algebra with Combinators / J.A. Bergstra, I. Bethke and A. Ponse -- Is Game Semantics Necessary? / A. Blass -- The Model Theory of Concurrency / K.J. Compton and R. Uceda-Sosa -- From Semantics to Rules: a Machine Assisted Analysis / C. Coquand -- On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search / A. Goerdt and U. Kamps -- Negation as Inconsistency in PROLOG via Intuitionistic Logic / A. Gomolko -- Approximable Minimisation Problems and Optimal Solutions on Random Inputs / E. Gradel and A. Malmstrom -- Bounded-arity Hierarchies in Fixed-point Logics / M. Grohe -- Petri Nets and the Equivalence Problem / Y. Hirshfeld -- Logical Aspects of Set Constraints / D. Kozen.".
• catalog extent "viii, 336 p. :".
• catalog hasFormat "Computer science logic.".
• catalog identifier "0387582770 (New York : acid-free paper)".
• catalog identifier "3540582770 (Berlin : acid-free paper)".
• catalog isFormatOf "Computer science logic.".
• catalog isPartOf "Lecture notes in computer science ; 832".
• catalog issued "1994".
• catalog issued "c1994.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog relation "Computer science logic.".
• catalog subject "004/.01/5113 20".
• catalog subject "Computer science Congresses.".
• catalog subject "Logic, Symbolic and mathematical Congresses.".
• catalog subject "QA76.5 .W64 1993".
• catalog tableOfContents "Oracles and Quantifiers / J.A. Makowsky and Y.B. Pnueli -- A Horn Clause that Implies an Undecidable Set of Horn Clauses / J. Marcinkowski -- Higher-order Action Calculi / R. Milner -- A Generic Strong Normalisation Argument: Application to the Calculus of Constructions / C.-H.L. Ong and E. Ritter -- Data Types, Infinity and Equality in System AF[subscript 2] / C. Raffalli -- Normalisation for Typed Lambda Calculi with Explicit Substitution / E. Ritter -- Program Transformation and Proof Transformation / W. Sieg and S.S. Wainer -- Incorporating Generalised Quantifiers and the Least Fixed Point Operator / I.A. Stewart -- Errata to "The Semantics of the C Programming Language" / Y. Gurevich and J.K. Huggins.".
• catalog tableOfContents "The Complexity of Set Constraints / A. Aiken, D. Kozen, M. Vardi and E. Wimmers -- On Duality for the Modal [mu]-calculus / S. Ambler, M. Kwiatkowska and N. Measor -- Short Proofs of Tautologies Using the Schema of Equivalence / M. Baaz and R. Zach -- Process Algebra with Combinators / J.A. Bergstra, I. Bethke and A. Ponse -- Is Game Semantics Necessary? / A. Blass -- The Model Theory of Concurrency / K.J. Compton and R. Uceda-Sosa -- From Semantics to Rules: a Machine Assisted Analysis / C. Coquand -- On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search / A. Goerdt and U. Kamps -- Negation as Inconsistency in PROLOG via Intuitionistic Logic / A. Gomolko -- Approximable Minimisation Problems and Optimal Solutions on Random Inputs / E. Gradel and A. Malmstrom -- Bounded-arity Hierarchies in Fixed-point Logics / M. Grohe -- Petri Nets and the Equivalence Problem / Y. Hirshfeld -- Logical Aspects of Set Constraints / D. Kozen.".
• catalog title "Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke, eds.".
• catalog type "Conference proceedings. fast".
• catalog type "text".