Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540600176, 9783540494041

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On existential theories of list concatenation

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022264 ◽

1995 ◽

pp. 294-308 ◽

Author(s):

Klaus U. Schulz

Download Full-text

Canonical forms for data-specifications

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022271 ◽

1995 ◽

pp. 397-411 ◽

Author(s):

Frank Piessens ◽

Eric Steegmans

Keyword(s):

Canonical Forms

Download Full-text

Logic programming in Tau Categories

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022261 ◽

1995 ◽

pp. 249-263 ◽

Author(s):

Stacy E. Finkelstein ◽

Peter Freyd ◽

James Lipton

Keyword(s):

Logic Programming

Download Full-text

Convergence and 0–1 laws for L ∞,ωk under arbitrary measures

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022259 ◽

1995 ◽

pp. 228-241 ◽

Author(s):

Monica McArthur

Download Full-text

Ramified recurrence and computational complexity II: Substitution and poly-space

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022277 ◽

1995 ◽

pp. 486-500 ◽

Author(s):

Daniel Leivant ◽

Jean-Yves Marion

Keyword(s):

Computational Complexity

Download Full-text

The Girard Translation extended with recursion

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022245 ◽

1995 ◽

pp. 31-45 ◽

Author(s):

Torben Braüner

Download Full-text

Resolution games and non-liftable resolution orderings

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022263 ◽

1995 ◽

pp. 279-293 ◽

Author(s):

Hans de Nivelle

Download Full-text

Modal logics preserving admissible for S4 inference rules

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022279 ◽

1995 ◽

pp. 512-526 ◽

Author(s):

Vladimir V. Rybakov

Keyword(s):

Modal Logics ◽

Inference Rules

Download Full-text

Logics for context-free languages

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022257 ◽

1995 ◽

pp. 205-216 ◽

Author(s):

Clemens Lautemann ◽

Thomas Schwentick ◽

Denis Thérien

Keyword(s):

Download Full-text

Completeness of resolution for definite answers with case analysis

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022265 ◽

1995 ◽

pp. 309-323

Author(s):

Tanel Tammet

Keyword(s):

Download Full-text