EVA STAR Trefferanzeige

Volltext 2012,2_pdfa.pdf1.pdf (801 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-259409
Titel Rewriting Induction + Linear Arithmetic = Decision Procedure
Autor Falke, Stephan
Kapur, Deepak
Institution Fakultät für Informatik (INFORMATIK)
Institut für Theoretische Informatik (ITI)
Dokumenttyp Buch
Verlag Karlsruhe
Jahr 2012
Serie Karlsruhe Reports in Informatics ; 2012,2
ISSN: 2190-4782