Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540631729, 9783540692010

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 2

Author(s):

G. Barthe ◽

P. -A. Mellies

Keyword(s):

Type Systems ◽

Reduction Property ◽

The Subject

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 ◽

Cited By ~ 3

Author(s):

Robert F. Stärk

Download Full-text

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 1

Author(s):

Martin Otto

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 6

Author(s):

Rajeev Goré

Keyword(s):

Relation Algebras ◽

Display Calculi

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 ◽

Cited By ~ 2

Author(s):

Alfons Geser ◽

Aart Middeldorp ◽

Enno Ohlebusch ◽

Hans Zantema

Keyword(s):

Term Rewriting

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 ◽

Cited By ~ 1

Author(s):

Ofer Arieli ◽

Arnon Avron

Keyword(s):

Knowledge Bases

Download Full-text

Computer Science Logic - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On the subject reduction property for algebraic type systems

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

Bounded-variable fixpoint queries are PSPACE-complete

The logic of explicitly presentation-invariant circuits

Optimization problems with approximation schemes

Monadic NP and built-in trees

Cut-free display calculi for relation algebras

Relative undecidability in term rewriting

Exact pairs for abstract bounded reducibilities

Four-valued diagnoses for stratified knowledge-bases

Computer Science Logic - Lecture Notes in Computer Science
Latest Publications