Mathematical Foundations of Computer Science 2014

Book title Buchtitel

Publisher Herausgeber

Springer / LNCS

Place of publishing Erscheinungsort

8635

Series Schriftenreihe

Lecture Notes in Computer Science

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Kovásznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin	On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic	Konferenzbeitrag Inproceedings	2014
	2		Colcombet, Thomas ; Daviaud, Laure ; Zuleger, Florian	Size-Change Abstraction and Max-Plus Automata	Konferenzbeitrag Inproceedings	2014