skip to content
Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers Preview this item
ClosePreview this item
Checking...

Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Author: H Kleine Büning; European Association for Computer Science Logic. Conference
Publisher: Berlin ; New York : Springer, ©1996.
Series: Lecture notes in computer science, 1092.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Summary:
"This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995. The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongreß
Conference papers and proceedings
Paderborn (1995)
Congresses
Congrès
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: H Kleine Büning; European Association for Computer Science Logic. Conference
ISBN: 3540613773 9783540613770
OCLC Number: 34788224
Notes: CSL'95 was the fourth to be held as the Annual Conference of the EACSL.
Description: viii, 485 pages : illustrations ; 24 cm.
Contents: Incompleteness of a First-Order Godel Logic and Some Temporal Logics of Programs / M. Baaz, A. Leitsch and R. Zach --
Semantics of Non-terminating Rewrite Systems Using Minimal Coverings / J. Barros and J. Goguen --
Congruence Types / G. Barthe and H. Geuvers --
Deduction by Combining Semantic Tableaux and Integer Programming / B. Beckert and R. Hahnle --
leanEA: A Lean Evolving Algebra Compiler / B. Beckert and J. Posegga --
A Proof System for Finite Trees / P. Blackburn, W. Meyer-Viol and M. de Rijke --
Representing Unification in a Logical Framework / J. Brown and L.A. Wallen --
Decision Procedures Using Model Building Techniques / R. Caferra and N. Peltier --
A Note on the Relation Between Polynomial Time Functionals and Constable's Class K / P. Clote --
First Order Logic, Fixed Point Logic and Linear Order / A. Dawar, S. Lindell and S. Weinstein. Simultaneous Rigid E-Unification Is Undecidable / A. Degtyarev and A. Voronkov --
An Evolving Algebra Abstract Machine / G. Del Castillo, I. Durdanovic and U. Glasser --
Rewriting with Extensional Polymorphic [lambda]-calculus / R. Di Cosmo and D. Kesner --
Languages and Logical Definability in Concurrency Monoids / M. Droste and D. Kuske --
Generalized Implicit Definitions on Finite Structures / S. Grumbach, Z. Lacroix and S. Lindell --
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions / Y. Gurevich and J.K. Huggins --
A Logical Aspect of Parametric Polymorphism / R. Hasegawa --
On the Modal Logic K Plus Theories / A. Heuerding and S. Schwendimann --
Improved Decision Procedures for the Modal Logics K, T, and S4 / J. Hudelmaier. A Fully Abstract Denotational Model for Observational Precongruence / A. Ingolfsdottir and A. Schalk --
On Sharply Bounded Length Induction / J. Johannsen --
Effective Strategies for Enumeration Games / M. Kummer and M. Ott --
Bounded Fixed-Point Definability and Tabular Recognition of Languages / H. Leiss --
Equivalences among Various Logical Frameworks of Partial Algebras / T. Mossakowski --
Some Extensions to Propositional Mean-Value Calculus: Expressiveness and Decidability / P.K. Pandya --
Theorem Proving modulo Associativity / A. Rubio --
Positive Deduction modulo Regular Theories / L. Vigneron.
Series Title: Lecture notes in computer science, 1092.
Responsibility: Hans Kleine Büning, (ed.).
More information:

Abstract:

The 27 papers in this volume cover topics including temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, and formal languages.  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.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/34788224> # Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "34788224" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3769706076#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/fundamentele_informatica> ; # Fundamentele informatica
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/theoretische_informatik> ; # Theoretische Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://dewey.info/class/004.015113/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/logica> ; # Logica
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/programmeertalen> ; # Programmeertalen
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Place/paderborn_1995> ; # Paderborn <1995>
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/logik> ; # Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/informatique_congres> ; # Informatique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/3769706076#Topic/informatik> ; # Informatik
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/136644939> ; # European Association for Computer Science Logic. Conference
    schema:contributor <http://viaf.org/viaf/109885381> ; # Hans Kleine Büning
    schema:copyrightYear "1996" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/3769706076#Meeting/workshop_on_computer_science_logic_9th_1995_paderborn_germany> ; # Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany)
    schema:datePublished "1996" ;
    schema:description "Simultaneous Rigid E-Unification Is Undecidable / A. Degtyarev and A. Voronkov -- An Evolving Algebra Abstract Machine / G. Del Castillo, I. Durdanovic and U. Glasser -- Rewriting with Extensional Polymorphic [lambda]-calculus / R. Di Cosmo and D. Kesner -- Languages and Logical Definability in Concurrency Monoids / M. Droste and D. Kuske -- Generalized Implicit Definitions on Finite Structures / S. Grumbach, Z. Lacroix and S. Lindell -- The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions / Y. Gurevich and J.K. Huggins -- A Logical Aspect of Parametric Polymorphism / R. Hasegawa -- On the Modal Logic K Plus Theories / A. Heuerding and S. Schwendimann -- Improved Decision Procedures for the Modal Logics K, T, and S4 / J. Hudelmaier."@en ;
    schema:description "A Fully Abstract Denotational Model for Observational Precongruence / A. Ingolfsdottir and A. Schalk -- On Sharply Bounded Length Induction / J. Johannsen -- Effective Strategies for Enumeration Games / M. Kummer and M. Ott -- Bounded Fixed-Point Definability and Tabular Recognition of Languages / H. Leiss -- Equivalences among Various Logical Frameworks of Partial Algebras / T. Mossakowski -- Some Extensions to Propositional Mean-Value Calculus: Expressiveness and Decidability / P.K. Pandya -- Theorem Proving modulo Associativity / A. Rubio -- Positive Deduction modulo Regular Theories / L. Vigneron."@en ;
    schema:description "Incompleteness of a First-Order Godel Logic and Some Temporal Logics of Programs / M. Baaz, A. Leitsch and R. Zach -- Semantics of Non-terminating Rewrite Systems Using Minimal Coverings / J. Barros and J. Goguen -- Congruence Types / G. Barthe and H. Geuvers -- Deduction by Combining Semantic Tableaux and Integer Programming / B. Beckert and R. Hahnle -- leanEA: A Lean Evolving Algebra Compiler / B. Beckert and J. Posegga -- A Proof System for Finite Trees / P. Blackburn, W. Meyer-Viol and M. de Rijke -- Representing Unification in a Logical Framework / J. Brown and L.A. Wallen -- Decision Procedures Using Model Building Techniques / R. Caferra and N. Peltier -- A Note on the Relation Between Polynomial Time Functionals and Constable's Class K / P. Clote -- First Order Logic, Fixed Point Logic and Linear Order / A. Dawar, S. Lindell and S. Weinstein."@en ;
    schema:description ""This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995. The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others."--PUBLISHER'S WEBSITE."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3769706076> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Paderborn (1995)"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Kongreß"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3769706076#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers"@en ;
    schema:productID "34788224" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/34788224#PublicationEvent/berlin_new_york_springer_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3769706076#Agent/springer> ; # Springer
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=1092> ;
    schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
    schema:url <http://dx.doi.org/10.1007/3-540-61377-3> ;
    schema:workExample <http://worldcat.org/isbn/9783540613770> ;
    umbel:isLike <http://d-nb.info/947532323> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/34788224> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/3769706076#Meeting/workshop_on_computer_science_logic_9th_1995_paderborn_germany> # Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3769706076#Place/paderborn_germany> ; # Paderborn, Germany)
    schema:name "Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769706076#Place/paderborn_1995> # Paderborn <1995>
    a schema:Place ;
    schema:name "Paderborn <1995>" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769706076#Place/paderborn_germany> # Paderborn, Germany)
    a schema:Place ;
    schema:name "Paderborn, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3769706076#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/34788224> ; # Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3769706076#Topic/informatique_congres> # Informatique--Congrès
    a schema:Intangible ;
    schema:name "Informatique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3769706076#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/3769706076#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/3769706076#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
    schema:name "Theoretische Informatik"@en ;
    .

<http://viaf.org/viaf/109885381> # Hans Kleine Büning
    a schema:Person ;
    schema:familyName "Kleine Büning" ;
    schema:givenName "Hans" ;
    schema:givenName "H." ;
    schema:name "Hans Kleine Büning" ;
    .

<http://viaf.org/viaf/136644939> # European Association for Computer Science Logic. Conference
    a schema:Organization ;
    schema:name "European Association for Computer Science Logic. Conference" ;
    .

<http://worldcat.org/isbn/9783540613770>
    a schema:ProductModel ;
    schema:isbn "3540613773" ;
    schema:isbn "9783540613770" ;
    .

<http://www.worldcat.org/title/-/oclc/34788224>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/34788224> ; # Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
    schema:dateModified "2017-09-28" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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