Computer Science Logic - Lecture Notes in Computer Science
Latest Publications
TOTAL DOCUMENTS
36
(FIVE YEARS 0)
H-INDEX
8
(FIVE YEARS 0)
Published By Springer Berlin Heidelberg
9783540678953, 9783540446224
2000 ◽
pp. 442-456
◽
2000 ◽
pp. 399-410
◽
2000 ◽
pp. 217-231
◽
Keyword(s):