Saturation-based decision procedures for extensions of the guarded fragment

Autor:	Kazakov, Yevgeny.
Jazyk:	angličtina
Zdroj:	kostenfrei.
Popis:	Saarbrücken, University, Diss., 2006. Erscheinungsjahr an der Haupttitelstelle: 2005.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://deposit.d-nb.de/cgi-bin/dokserv?idn=984598316 http://scidok.sulb.uni-saarland.de/volltexte/2007/1137/pdf/Dissertation_691_Kaza_Yevg_2005.pdf http://scidok.sulb.uni-saarland.de/volltexte/2007/1137/ Zobrazit plný text záznamu