Mathematical Foundations of Computer Science 2014

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Mathematical Foundations of Computer Science 2014
 
Publisher Verlag
Springer / LNCS
 
Place of publishing Erscheinungsort
8635
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kovásznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicKonferenzbeitrag Inproceedings 2014
2Colcombet, Thomas ; Daviaud, Laure ; Zuleger, Florian Size-Change Abstraction and Max-Plus AutomataKonferenzbeitrag Inproceedings 2014