Computer Science Logic - Lecture Notes in Computer Science
Latest Publications


TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540230243, 9783540301240

Author(s):  
Krishnendu Chatterjee ◽  
Rupak Majumdar ◽  
Marcin Jurdziński

Author(s):  
Paweł Rychlikowski ◽  
Tomasz Truderung
Keyword(s):  

Author(s):  
Jeremy E. Dawson ◽  
Rajeev Goré
Keyword(s):  

Author(s):  
Marcelo Arenas ◽  
Pablo Barceló ◽  
Leonid Libkin
Keyword(s):  

Author(s):  
Andrés Cordón-Franco ◽  
Alejandro Fernández-Margarit ◽  
F. Félix Lara-Martín

Sign in / Sign up

Export Citation Format

Share Document