+612 9045 4394
Logical Foundations of Computer Science : 4th International Symposium, Lfcs'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings - Sergei Adian

Logical Foundations of Computer Science

4th International Symposium, Lfcs'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings

By: Sergei Adian (Editor), Anil Nerode (Editor)

Paperback Published: 28th May 1997
ISBN: 9783540630456
Number Of Pages: 436

Share This Book:


or 4 easy payments of $36.74 with Learn more
Ships in 5 to 9 business days

This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997.
The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community.

Topological Semantics for Hybrid Systemsp. 1
Domain-Free Pure Type Systemsp. 9
Generic Queries over Quasi-o-minimal Domainsp. 21
Towards Computing Distances Between Programs via Scott Domainsp. 33
A Safe Recursion Scheme for Exponential Timep. 44
Finite Model Theory, Universal Algebra and Graph Grammarsp. 53
Complexity of Query Answering in Logic Databases with Complex Valuesp. 56
Recognition of Deductive Data Base Stabilityp. 67
The Concurrency Complexity for the Horn Fragment of Linear Logicp. 78
Studying Algorithmic Problems for Free Semi-groups and Groupsp. 88
Learning Small Programs with Additional Informationp. 102
Cut Elimination for the Second Order Propositional Logic with Hilbert's [epsilon]-symbol, Extensionality, and Full Comprehensionp. 113
Finite Bases of Admissible Rules for the Logic S5[subscript 2]Cp. 119
An Algebraic Correctness Criterion for Intuitionistic Proof-Netsp. 130
Towards a Theory of Recursive Structuresp. 141
On the Complexity of Prefix Formulas in Modal Logic of Subset Spacesp. 145
The Undecidability of Second Order Linear Affine Logicp. 156
Operational Logic of Proofs with Functionality Condition on Proof Predicatep. 167
On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Setsp. 178
Functions for the General Solution of Parametric Word Equationsp. 189
A Proof Procedure for Hereditary Harrop Formulas with Free Equalityp. 203
Basic Forward Chaining Construction for Logic Programsp. 214
Decidability and Undecidability of the Halting Problem on Turing Machines, a Surveyp. 226
Case Study: Additive Linear Logic and Latticesp. 237
Some Decision Problems for Tracesp. 248
Existential Instantiation and Strong Normalizationp. 258
Models for the Logic of Proofsp. 266
Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequencesp. 276
Type Introduction for Equational Rewritingp. 283
Capturing Bisimulation-Invariant PTIMEp. 294
Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logicp. 306
A Decidable Fragments of Second Order Linear Logicp. 312
Some Results on Propositional Dynamic Logic with Fixed Pointsp. 323
Quasi-Characteristic Inference Rules for Modal Logicsp. 333
Provability Logic with Operations on Proofsp. 342
Formal Verification of Logic Programs: Foundations and Implementationp. 354
Unification of Terms with Term-Indexed Variablesp. 369
Back-Forth Equivalences for Design of Concurrent Systemsp. 374
Association Nets: An Alternative Formalization of Common Thinkingp. 385
Simulating [eta]-expansions with [beta]-reductions in the Second-Order Polymorphic [lambda]-calculusp. 399
Logical Schemes for First Order Theoriesp. 410
Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Formsp. 419
List of Authorsp. 431
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540630456
ISBN-10: 3540630457
Series: Lecture Notes in Economic and Mathematical Systems
Audience: General
Format: Paperback
Language: English
Number Of Pages: 436
Published: 28th May 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.31
Weight (kg): 0.62