Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1992

Logical Foundations of Computer Science - Tver '92

Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

Editors:

  1. Anil Nerode
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mikhail Taitslin
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 620)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (45 papers)

  1. Front Matter

    PDF

  2. Modal Linear Logic

    • Dimitry A. Archangelsky, Mikhail A. Taitslin
    Pages 1-8

  3. Machine learning of higher order programs

    • Ganesh Baliga, John Case, Sanjay Jain, Mandayam Suraj
    Pages 9-20

  4. Quantifying the amount of verboseness (extended abstract)

    • Richard Beigel, Martin Kummer, Frank Stephan
    Pages 21-32

  6. Preference logics and nonmonotonicity in logic programming

    • Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama
    Pages 45-56

  7. The Ehrenfeucht-Fraïssé games for transitive closure

    • A. Calò, J. A. Makowsky
    Pages 57-68

  10. Incremental evaluation of natural semantics specifications

    • Isabelle Attali, Jacques Chazarain, Serge Gilette
    Pages 87-104

  12. Ordinal arithmetic with list structures (preliminary version)

    • Nachum Dershowitz, Edward M. Reingold
    Pages 117-138

  13. Many-valued non-monotonic modal logics

    • Melvin Fitting
    Pages 139-150

  14. Automated deduction in additive and multiplicative linear logic

    • Didier Galmiche, Guy Perrier
    Pages 151-162

  15. Intensionally stable functions

    • B. Gamate
    Pages 163-173

  17. Banishing robust Turing completeness

    • Lane A. Hemachandra, Sanjay Jain, Nikolai K. Vereshchagin
    Pages 186-197

  19. Non-stable models of linear logic

    • R. Hoofman
    Pages 209-220

  20. Ordering optimisations for concurrent logic programs

    • Andy King, Paul Soper
    Pages 221-228
Back to top

About this book

This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation