Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings /

Bibliographic Details
Corporate Authors:	LFCS (Symposium) I︠A︡roslavlʹ, I︠A︡roslavskai︠a︡ oblastʹ, Russia), SpringerLink (Online service)
Other Authors:	Adi︠a︡n, S. I., Nerode, Anil, 1932-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Lecture notes in computer science ; 1234.
Subjects:	Computers > Congresses. Electronic data processing > Congresses. Logic, Symbolic and mathematical > Congresses. logique mathématique. Logique informatique > Congrès. Logique symbolique et mathématique > Congrès. Ordinateurs > Congrès. Computers. Electronic data processing. Logic, Symbolic and mathematical. Fundamentele informatica. Logica. Logica e semantica de programacao. Informatique > Congrès. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Topological Semantics for Hybrid Systems / S. Artemov, J. Davoren and A. Nerode
Domain-Free Pure Type Systems / G. Barthe and M.H. Sorensen
Generic Queries over Quasi-o-minimal Domains / O.V. Belegradek, A.P. Stolboushkin and M.A. Taitslin
Towards Computing Distances Between Programs via Scott Domains / M.A. Bukatin and J.S. Scott
A Safe Recursion Scheme for Exponential Time / P. Clote
Finite Model Theory, Universal Algebra and Graph Grammars / B. Courcelle
Complexity of Query Answering in Logic Databases with Complex Values / E. Dantsin and A. Voronkov
Recognition of Deductive Data Base Stability / M.I. Dekhtyar and A. Ja. Dikovsky
The Concurrency Complexity for the Horn Fragment of Linear Logic / S.M. Dudakov
Studying Algorithmic Problems for Free Semi-groups and Groups / V. Durnev
Learning Small Programs with Additional Information / R. Freivalds, G. Tervits and R. Wiehagen [and others].