Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers (eBook, 1993) [WorldCat.org]
skip to content
Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers Preview this item
ClosePreview this item
Checking...

Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Author: E Börger
Publisher: Berlin ; New York : Springer-Verlag, ©1993.
Series: Lecture notes in computer science, 702.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
"This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; 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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.