Research Catalog

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

Title
Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed.).
Author
Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany)
Publication
Berlin ; New York : Springer, ©1996.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA75.5 .W625 1995Off-site

Details

Additional Authors
  • Kleine Büning, H. (Hans)
  • European Association for Computer Science Logic. Conference (4th : 1995 : Paderborn, Germany)
Description
viii, 485 pages : illustrations; 24 cm
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 topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others."--PUBLISHER'S WEBSITE.
Series Statement
Lecture notes in computer science ; 1092
Uniform Title
Lecture notes in computer science ; 1092.
Subject
  • Computer logic > Congresses
  • Logic, Symbolic and mathematical > Congresses
  • Logic, Symbolic and mathematical
  • Computer logic
  • Informatik
  • Logik
  • Theoretische Informatik
  • Fundamentele informatica
  • Logica
  • Programmeertalen
  • Logic programming > Congresses
  • Informatique > Congrès
  • Logique mathématique > Congrès
  • Paderborn <1995>
Genre/Form
  • Conference papers and proceedings
  • Paderborn (1995)
Note
  • CSL'95 was the fourth to be held as the Annual Conference of the EACSL.
Bibliography (note)
  • Includes bibliographical references and index.
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.
ISBN
  • 3540613773
  • 9783540613770
LCCN
  • 96023718
  • 9783540613770
OCLC
  • ocm34788224
  • 34788224
  • SCSB-9162194
Owning Institutions
Princeton University Library