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

The Girard Translation extended with recursion

1995 ◽  
pp. 31-45 ◽  
Author(s):  
Torben Braüner

Resolution games and non-liftable resolution orderings

1995 ◽  
pp. 279-293 ◽  
Author(s):  
Hans de Nivelle

Modal logics preserving admissible for S4 inference rules

1995 ◽  
pp. 512-526 ◽  
Author(s):  
Vladimir V. Rybakov
Keyword(s):  
Modal Logics ◽  
Inference Rules

Logics for context-free languages

1995 ◽  
pp. 205-216 ◽  
Author(s):  
Clemens Lautemann ◽  
Thomas Schwentick ◽  
Denis Thérien
Keyword(s):  
Context Free

On existential theories of list concatenation

1995 ◽  
pp. 294-308 ◽  
Author(s):  
Klaus U. Schulz

Canonical forms for data-specifications

1995 ◽  
pp. 397-411 ◽  
Author(s):  
Frank Piessens ◽  
Eric Steegmans
Keyword(s):  
Canonical Forms

Logic programming in Tau Categories

1995 ◽  
pp. 249-263 ◽  
Author(s):  
Stacy E. Finkelstein ◽  
Peter Freyd ◽  
James Lipton
Keyword(s):  
Logic Programming

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

1995 ◽  
pp. 486-500 ◽  
Author(s):  
Daniel Leivant ◽  
Jean-Yves Marion
Keyword(s):  
Computational Complexity
Load More ...
Sign in / Sign up

Export Citation Format

Share Document