Serializable histories in quantified propositional temporal logic.

Autor:	Hussak, Walter1 (AUTHOR) w.hussak@lboro.ac.uk
Zdroj:	International Journal of Computer Mathematics. Oct2004, Vol. 81 Issue 10, p1203-1211. 9p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.