Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

41
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540454588, 9783540454595
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Algorithms for Omega-Regular Games with Imperfect Information

2006 ◽  
pp. 287-302 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Laurent Doyen ◽  
Thomas A. Henzinger ◽  
Jean-François Raskin
Keyword(s):  
Imperfect Information

Hoare Logic in the Abstract

2006 ◽  
pp. 501-515 ◽  
Author(s):  
Ursula Martin ◽  
Erik A. Mathiesen ◽  
Paulo Oliva
Keyword(s):  
Hoare Logic

Complete Problems for Higher Order Logics

2006 ◽  
pp. 380-394 ◽  
Author(s):  
Lauri Hella ◽  
José María Turull-Torres
Keyword(s):  
Higher Order ◽  
Complete Problems

A Sequent Calculus for Type Theory

2006 ◽  
pp. 441-455 ◽  
Author(s):  
Stéphane Lengrand ◽  
Roy Dyckhoff ◽  
James McKinna
Keyword(s):  
Type Theory ◽  
Sequent Calculus

scholarly journals Weak Bisimulation Approximants

2006 ◽  
pp. 365-379 ◽  
Author(s):  
Will Harwood ◽  
Faron Moller ◽  
Anton Setzer
Keyword(s):  
Weak Bisimulation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document