Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540557074, 9783540472766

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Incremental evaluation of natural semantics specifications

Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0023866 ◽

1992 ◽

pp. 87-104 ◽

Author(s):

Isabelle Attali ◽

Jacques Chazarain ◽

Serge Gilette

Keyword(s):

Incremental Evaluation

Download Full-text

Incremental polymorphic type checking with update

Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0023888 ◽

1992 ◽

pp. 347-357

Author(s):

Alan Mycroft

Keyword(s):

Type Checking ◽

Polymorphic Type

Download Full-text

Graded modalities in epistemic logic

Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0023902 ◽

1992 ◽

pp. 503-514 ◽

Author(s):

W. van der Hoek ◽

J. -J. Ch. Meyer

Keyword(s):

Epistemic Logic ◽

Graded Modalities

Download Full-text

Operators on lattices of ω-Herbrand interpretations

Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0023889 ◽

1992 ◽

pp. 358-369 ◽

Author(s):

Jan A. Plaza

Download Full-text

Denotations for classical proofs -Preliminary results-

Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0023867 ◽

1992 ◽

pp. 105-116 ◽

Author(s):

Philippe de Groote

Keyword(s):

Preliminary Results

Download Full-text

On the expressive power of modal logics on trees

Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0023896 ◽

1992 ◽

pp. 441-451 ◽

Author(s):

Bernd-Holger Schlingloff

Keyword(s):

Expressive Power ◽

Download Full-text

Preference logics and nonmonotonicity in logic programming

Logical Foundations of Computer Science — Tver '92 - Lecture Notes in Computer Science ◽

10.1007/bfb0023862 ◽

1992 ◽

pp. 45-56

Author(s):

Allen L. Brown ◽

Surya Mantha ◽

Toshiro Wakayama

Keyword(s):

Logic Programming

Download Full-text