Fields of Logic and Computation - Lecture Notes in Computer Science
Latest Publications


TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642150241, 9783642150258

Author(s):  
Andreas Blass ◽  
Nachum Dershowitz ◽  
Wolfgang Reisig
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document