Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007615920/catalog> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b10525714.
- catalog contributor b10525715.
- catalog contributor b10525716.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "Includes bibliographical references and index.".
- catalog description "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.".
- catalog description "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].".
- catalog extent "ix, 429 p. :".
- catalog identifier "3540630457 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1234".
- catalog issued "1997".
- catalog issued "c1997.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004/.01/5113 21".
- catalog subject "Computer science.".
- catalog subject "Computers Congresses.".
- catalog subject "Electronic data processing Congresses.".
- catalog subject "Logic design.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "QA75.5 .L43 1997".
- catalog tableOfContents "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].".
- catalog title "Logical foundations of computer science : 4th international symposium, LFCS ʾ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian, Anil Nerode (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".