Home

WorldCat Home About WorldCat Help

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

Cite/Export

Cite/Export

Copy a citation

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote / Reference Manager Export to EasyBib
Export to EndNote / Reference Manager(non-Latin) Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/28684572 Title: Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers Author: E Börger Publisher: Berlin ; New York : Springer-Verlag, ©1993. ISBN/ISSN: 3540569928 9783540569923 0387569928 9780387569925 OCLC:28684572

Please verify that you are not a robot.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

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

Preview this item

Checking...

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

Author:	E Bö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	Computer science -- Congresses. Logic, Symbolic and mathematical -- Congresses. Informatique -- Mathématiques -- Congrès. View all subjects
More like this	Similar Items

Find a copy online

Links to this item

(n.149, 1983 - current) available via SpringerLink

Table of contents

Cover

Find a copy in the library

Finding libraries that hold this item...

Details

Genre/Form:	Conference papers and proceedings Congresses Congrè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 Börger Find more information about:
ISBN:	3540569928 9783540569923 0387569928 9780387569925
OCLC Number:	28684572
Description:	viii, 439 pages : illustrations ; 24 cm.
Contents:	A universal Turing machine.- Recursive inseparability in linear logic.- The basic logic of proofs.- Algorithmic structuring of cut-free proofs.- Optimization problems: Expressibility, approximation properties and expected asymptotic growth of optimal solutions.- Linear ?-calculus and categorical models revisited.- A self-interpreter of lambda calculus having a normal form.- An "Ehrenfeucht-Fraisse game" for fixpoint logic and stratified fixpoint logic.- The class of problems that are linearly equivalent to satisfiability or a uniform method for proving NP-completeness.- Model building by resolution.- Comparative transition system semantics.- Reasoning with higher order partial functions.- Communicating evolving algebras.- On the completeness of narrowing as the operational semantics of functional logic programming.- Inductive definability with counting on finite structures.- Linear time algorithms and NP-complete problems.- The semantics of the C programming language.- A theory of classes for a functional language with effects.- Logical definability of NP-optimisation problems with monadic auxiliary predicates.- Universes in the theories of types and names.- Notes on sconing and relators.- Solving 3-satisfiability in less than 1, 579n steps.- Kleene's slash and existence of values of open terms in type theory.- Negation-complete logic programs.- Logical characterization of bounded query classes II: Polynomial-time oracle machines.- On asymptotic probabilities of monadic second order properties.
Series Title:	Lecture notes in computer science, 702.
Responsibility:	E. Börger [and others], eds.
More information:	Publisher description Inhaltstext

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

Linked Data

Primary Entity

Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://dewey.info/class/004.015113/e20/>
a schema:Intangible ;
.

<http://experiment.worldcat.org/entity/work/data/4919051952#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Meeting/workshop_on_computer_science_logic_6th_1992_san_miniato_italy> # Workshop on Computer Science Logic (6th : 1992 : San Miniato, Italy)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4919051952#Place/san_miniato_italy> ; # San Miniato, Italy)
    schema:name "Workshop on Computer Science Logic (6th : 1992 : San Miniato, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Place/berlin> # Berlin
    a schema:Place ;
    schema:name "Berlin" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Place/san_miniato_1992> # San Miniato <1992>
    a schema:Place ;
    schema:name "San Miniato <1992>" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Place/san_miniato_italy> # San Miniato, Italy)
    a schema:Place ;
    schema:name "San Miniato, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/28684572> ; # Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/computer_science> # Computer science
    a schema:Intangible ;
    rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008101220> ;
    schema:name "Computer science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/fundamentele_informatica> # Fundamentele informatica
    a schema:Intangible ;
    schema:name "Fundamentele informatica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/informatik> # Informatik
    a schema:Intangible ;
    schema:name "Informatik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
    schema:name "Informatique--Mathématiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008107112> ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/logica> # Logica
    a schema:Intangible ;
    schema:name "Logica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/logica_e_semantica_de_programacao> # Logica E Semantica De Programacao
    a schema:Intangible ;
    schema:name "Logica E Semantica De Programacao"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/logik> # Logik
    a schema:Intangible ;
    schema:name "Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4919051952#Topic/programmeertalen> # Programmeertalen
    a schema:Intangible ;
    schema:name "Programmeertalen"@en ;
    .

<http://id.loc.gov/vocabulary/countries/gw>
    a schema:Place ;
    dcterms:identifier "gw" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/91868953> # Egon Börger
    a schema:Person ;
    schema:birthDate "1946" ;
    schema:familyName "Börger" ;
    schema:givenName "Egon" ;
    schema:givenName "E." ;
    schema:name "Egon Börger" ;
    .

<http://worldcat.org/isbn/9780387569925>
    a schema:ProductModel ;
    schema:isbn "0387569928" ;
    schema:isbn "9780387569925" ;
    .

<http://worldcat.org/isbn/9783540569923>
    a schema:ProductModel ;
    schema:isbn "3540569928" ;
    schema:isbn "9783540569923" ;
    .

<http://www.worldcat.org/oclc/693145352>
    a schema:CreativeWork ;
    rdfs:label "Computer science logic." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/28684572> ; # Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
    .

<http://www.worldcat.org/title/-/oclc/28684572>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/28684572> ; # Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
    schema:dateModified "2019-01-06" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/28684572#PublicationEvent/berlin_new_york_springer_verlag_1993>
    a schema:PublicationEvent ;
    schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:location <http://experiment.worldcat.org/entity/work/data/4919051952#Place/berlin> ; # Berlin
    schema:organizer <http://experiment.worldcat.org/entity/work/data/4919051952#Agent/springer_verlag> ; # Springer-Verlag
    .

Content-negotiable representations

Turtle (text/turtle)
JSON-LD (application/ld+json)
RDF/XML (application/rdf+xml)
N-TRIPLES (text/plain)
HTML+RDFa (text/html)

Please sign in to WorldCat

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

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Search