Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540442400, 9783540457930
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compactness and Continuity, Constructively Revisited

2002 ◽  
pp. 89-102 ◽  
Author(s):  
Douglas Bridges ◽  
Hajime Ishihara ◽  
Peter Schuster

On Continuous Normalization

2002 ◽  
pp. 59-74 ◽  
Author(s):  
Klaus Aehlig ◽  
Felix Joachimski
Keyword(s):  
Continuous Normalization

On the Variable Hierarchy of the Modal μ-Calculus

2002 ◽  
pp. 352-366 ◽  
Author(s):  
Dietmar Berwanger ◽  
Erich Grädel ◽  
Giacomo Lenzi

Trading Probability for Fairness

2002 ◽  
pp. 292-305 ◽  
Author(s):  
Marcin Jurdziński ◽  
Orna Kupferman ◽  
Thomas A. Henzinger
Load More ...
Sign in / Sign up

Export Citation Format

Share Document