Find a copy online
Links to this item
Find a copy in the library
Finding libraries that hold this item...
Details
| Genre/Form: | Conference papers and proceedings Congresses Congrès |
|---|---|
| Additional Physical Format: | Online version: Workshop on Computer Science Logic (6th : 1992 : San Miniato, Italy). Computer science logic. Berlin ; New York : Springer-Verlag, ©1993 (OCoLC)693145352 |
| Material Type: | Conference publication, Document, Internet resource |
| Document Type: | Book, Computer File, Internet Resource |
| All Authors / Contributors: |
E Börger |
| ISBN: | 3540569928 9783540569923 0387569928 9780387569925 |
| OCLC Number: | 28684572 |
| Description: | viii, 439 pages : illustrations ; 24 cm. |
| Contents: | A Universal Turing Machine / Stal Aanderaa -- Recursive Inseparability in Linear Logic / Stal Aanderaa and Herman Ruge Jervell -- The Basic Logic of Proofs / Sergei Artemov and Tyko Strassen -- Algorithmic Structuring of Cut-Free Proofs / Matthias Baaz and Richard Zach -- Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions / Thomas Behrendt, Kevin Compton and Erich Gradel -- Linear [lambda]-Calculus and Categorical Models Revisited / Nick Benton, Gavin Bierman, Valeria de Paiva and Martin Hyland -- A Self-Interpreter of Lambda Calculus Having a Normal Form / Alessandro Berarducci and Corrado Bohm -- An "Ehrenfeucht-Fraisse" Game for Fixpoint Logic and Stratified Fixpoint Logic / Uwe Bosse -- The Class of Problems that Are Linearly Equivalent to Satisfiability, or a Uniform Method for Proving NP-Completeness / Nadia Creignou -- Model Building by Resolution / Christian G. Fermuller and Alexander Leitsch -- Comparative Transition System Semantics / Tim Fernando -- Reasoning with Higher Order Partial Functions / Antonio Gavilanes-Franco, Francisca Lucio-Carrasco and Mario Rodriguez-Artalejo -- Communicating Evolving Algebras / Paola Glavan and Dean Rosenzweig -- On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming / Juan Carlos Gonzalez-Moreno, Maria Teresa Hortala-Gonzalez and Mario Rodriguez-Artalejo -- Inductive Definability with Counting on Finite Structures / Eric Gradel and Martin Otto -- Linear Time Algorithms and NP-Complete Problems / Etienne Grandjean -- The Semantics of the C Programming Language / Yuri Gurevich and James K. Huggins -- A Theory of Classes for a Functional Language with Effects / Furio Honsell, Ian A. Mason, Scott Smith and Carolyn Talcott -- Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates / Clemens Lautemann -- Universes in the Theories of Types and Names / Markus Marzetta -- Notes on Sconing and Relators / John C. Mitchell and Andre Scedrov -- Solving 3-Satisfiability in Less than 1,579[superscript n] Steps / Ingo Schiermeyer -- Kleene's Slash and Existence of Values of Open Terms in Type Theory / Jan M. Smith -- Negation-Complete Logic Programs / Robert F. Stark -- Logical Characterizations of Bounded Query Classes II: Polynomial-Time Oracle Machines / Iain A. Stewart -- On Asymptotic Probabilities of Monadic Second Order Properties / Jerzy Tyszkiewicz. |
| Series Title: | Lecture notes in computer science, 702. |
| Responsibility: | E. Börger [and others], eds. |
| More information: |
Abstract:
The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic of proofs, linear logic, optimization problems, the semantics of C, classes for a functional language, sconing and relators, NP-completeness and fixpoint logic.
Read more...
Reviews
