Media type: E-Book Title: Rewriting Induction + Linear Arithmetic = Decision Procedure Contributor: Falke, Stephan [Author]; Kapur, Deepak [Author] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2012 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2012,2 Extent: Online-Ressource Language: English Keywords: Forschungsbericht Origination: Footnote: Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden Systemvoraussetzungen: Acrobat reader Access State: Open Access