Lecture Notes in Computer Science

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

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

Write A Review

Paperback | 28 May 1997

At a Glance

Paperback
448 Pages

Dimensions(cm)
23.39 x 15.6 x 2.31

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Science Computer Architecture & Logic Design Mathematical Theory of Computation Computer Programming & Software Development

Topological Semantics for Hybrid Systems	p. 1
Domain-Free Pure Type Systems	p. 9
Generic Queries over Quasi-o-minimal Domains	p. 21
Towards Computing Distances Between Programs via Scott Domains	p. 33
A Safe Recursion Scheme for Exponential Time	p. 44
Finite Model Theory, Universal Algebra and Graph Grammars	p. 53
Complexity of Query Answering in Logic Databases with Complex Values	p. 56
Recognition of Deductive Data Base Stability	p. 67
The Concurrency Complexity for the Horn Fragment of Linear Logic	p. 78
Studying Algorithmic Problems for Free Semi-groups and Groups	p. 88
Learning Small Programs with Additional Information	p. 102
Cut Elimination for the Second Order Propositional Logic with Hilbert's [epsilon]-symbol, Extensionality, and Full Comprehension	p. 113
Finite Bases of Admissible Rules for the Logic S5[subscript 2]C	p. 119
An Algebraic Correctness Criterion for Intuitionistic Proof-Nets	p. 130
Towards a Theory of Recursive Structures	p. 141
On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces	p. 145
The Undecidability of Second Order Linear Affine Logic	p. 156
Operational Logic of Proofs with Functionality Condition on Proof Predicate	p. 167
On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Sets	p. 178
Functions for the General Solution of Parametric Word Equations	p. 189
A Proof Procedure for Hereditary Harrop Formulas with Free Equality	p. 203
Basic Forward Chaining Construction for Logic Programs	p. 214
Decidability and Undecidability of the Halting Problem on Turing Machines, a Survey	p. 226
Case Study: Additive Linear Logic and Lattices	p. 237
Some Decision Problems for Traces	p. 248
Existential Instantiation and Strong Normalization	p. 258
Models for the Logic of Proofs	p. 266
Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences	p. 276
Type Introduction for Equational Rewriting	p. 283
Capturing Bisimulation-Invariant PTIME	p. 294
Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic	p. 306
A Decidable Fragments of Second Order Linear Logic	p. 312
Some Results on Propositional Dynamic Logic with Fixed Points	p. 323
Quasi-Characteristic Inference Rules for Modal Logics	p. 333
Provability Logic with Operations on Proofs	p. 342
Formal Verification of Logic Programs: Foundations and Implementation	p. 354
Unification of Terms with Term-Indexed Variables	p. 369
Back-Forth Equivalences for Design of Concurrent Systems	p. 374
Association Nets: An Alternative Formalization of Common Thinking	p. 385
Simulating [eta]-expansions with [beta]-reductions in the Second-Order Polymorphic [lambda]-calculus	p. 399
Logical Schemes for First Order Theories	p. 410
Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms	p. 419
List of Authors	p. 431
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Foundation

Oxford Maths for Australian Schools Year 4 Value Pack

3rd Edition

The Times Ultimate Killer Su Doku Book 18

200 of the deadliest Su Doku puzzles

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Current Trends in Automated Reasoning

Oxford Maths for Australian Schools Year 4 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year 3 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 6 Value Pack

3rd Edition

The Times Fiendish Su Doku Book 19

200 challenging Su Doku puzzles

Oxford Maths for Australian Schools Year 5 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year 6 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year 1 Value Pack

3rd Edition

Maths Sequences for the Early Years F-2

Challenging Children to Reason Mathematically

Oxford Maths for Australian Schools Value Pack Year 5

Oxford Maths

The Language of Mathematics

The Stories behind the Symbols

Oxford Maths for Australian Schools Year 2 Value Pack

3rd Edition

Teaching Secondary Mathematics

2nd Edition

Building Thinking Classrooms in Mathematics, Grades K-12

14 Teaching Practices for Enhancing Learning

Unequal

The Maths of When Things Do and Don't Add Up

Alex's Adventures in Numberland

Tenth Anniversary Edition

Oxford Maths for Australian Schools Year 2 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year 3 Practice and Mastery Book

3rd Edition

Oxford Maths for Australian Schools Year F Value Pack

3rd Edition

The Times Samurai Su Doku 14

100 extreme puzzles for the fearless Su Doku warrior

This product is categorised by