nach oben

Erschienen in:

Open Access 01.03.2013

Multi-Completion with Termination Tools

verfasst von: Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara

Titel: Multi-Completion with Termination Tools
verfasst von: Sarah Winkler
Haruhiko Sato
Aart Middeldorp
Masahito Kurihara
Publikationsdatum: 01.03.2013
Verlag: Springer Netherlands
Erschienen in: Journal of Automated Reasoning / Ausgabe 3/2013
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
DOI: https://doi.org/10.1007/s10817-012-9249-2

Premium Partner