%0 Generic
%T Rewriting Induction + Linear Arithmetic = Decision Procedure
%A Falke, Stephan
%A Kapur, Deepak
%I KIT, Fakultät für Informatik
%K Forschungsbericht
%D 2012
%X Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
%C KIT, Fakultät für Informatik
%C Karlsruhe
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation