Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

48
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540408017, 9783540452201
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Fixed-Point Logic with Symmetric Choice

2003 ◽  
pp. 169-182 ◽  
Author(s):  
Anuj Dawar ◽  
David Richerby
Keyword(s):  
Fixed Point

scholarly journals A Logic for Probability in Quantum Systems

2003 ◽  
pp. 427-440 ◽  
Author(s):  
Ron van der Meyden ◽  
Manas Patra
Keyword(s):  
Quantum Systems

On the Complexity of Existential Pebble Games

2003 ◽  
pp. 314-329 ◽  
Author(s):  
Phokion G. Kolaitis ◽  
Jonathan Panttaja

Automata on Lempel-Ziv Compressed Strings

2003 ◽  
pp. 384-396
Author(s):  
Hans Leiß ◽  
Michel de Rougemont

The Epsilon Calculus

2003 ◽  
pp. 455-455
Author(s):  
Georg Moser ◽  
Richard Zach
Keyword(s):  
Epsilon Calculus
Load More ...
Sign in / Sign up

Export Citation Format

Share Document