Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540282310, 9783540318972
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Ackermann Award 2005

2005 ◽  
pp. 557-565
Author(s):  
Erich Grädel ◽  
Janos Makowsky ◽  
Alexander Razborov

Bounded Model Checking of Pointer Programs

2005 ◽  
pp. 397-412 ◽  
Author(s):  
Witold Charatonik ◽  
Lilia Georgieva ◽  
Patrick Maier
Keyword(s):  
Model Checking ◽  
Bounded Model Checking

Coprimality in Finite Models

2005 ◽  
pp. 263-275
Author(s):  
Marcin Mostowski ◽  
Konrad Zdanowski
Keyword(s):  
Finite Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document