Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540631729, 9783540692010

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bounded-variable fixpoint queries are PSPACE-complete

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_34 ◽

1997 ◽

pp. 89-105 ◽

Author(s):

Stefan Dziembowski

Download Full-text

The logic of explicitly presentation-invariant circuits

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_50 ◽

1997 ◽

pp. 369-384 ◽

Author(s):

Martin Otto

Download Full-text

On the subject reduction property for algebraic type systems

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_31 ◽

1997 ◽

pp. 34-57 ◽

Author(s):

G. Barthe ◽

P. -A. Mellies

Keyword(s):

Type Systems ◽

Reduction Property ◽

Download Full-text

Call-by-Value, call-by-name and the logic of values

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_54 ◽

1997 ◽

pp. 431-445 ◽

Author(s):

Robert F. Stärk

Download Full-text

Relative undecidability in term rewriting

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_37 ◽

1997 ◽

pp. 150-166 ◽

Author(s):

Alfons Geser ◽

Aart Middeldorp ◽

Enno Ohlebusch ◽

Hans Zantema

Keyword(s):

Download Full-text

Optimization problems with approximation schemes

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_47 ◽

1997 ◽

pp. 316-333 ◽

Author(s):

Anders Malmström

Keyword(s):

Optimization Problems ◽

Approximation Schemes

Download Full-text

Monadic NP and built-in trees

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_44 ◽

1997 ◽

pp. 260-274 ◽

Author(s):

Martin Kreidler ◽

Detlef Seese

Download Full-text

Cut-free display calculi for relation algebras

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_40 ◽

1997 ◽

pp. 198-210 ◽

Author(s):

Rajeev Goré

Keyword(s):

Relation Algebras ◽

Display Calculi

Download Full-text

Exact pairs for abstract bounded reducibilities

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_49 ◽

1997 ◽

pp. 349-368

Author(s):

Wolfgang Merkle

Download Full-text

Four-valued diagnoses for stratified knowledge-bases

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_29 ◽

1997 ◽

pp. 1-17 ◽

Author(s):

Ofer Arieli ◽

Arnon Avron

Keyword(s):

Knowledge Bases

Download Full-text