Causality in Bounded Petri Nets is MSO Definable

Počet záznamů: 1

1.

SYSNO	0465187
Název	Causality in Bounded Petri Nets is MSO Definable
Tvůrce(i)	de Oliveira Oliveira, Mateus (MU-W)_{RID, SAI, ORCID}
Zdroj.dok.	Logic, Language, Information, and Computation. S. 200-214. - Berlin : Springer, 2016 / Väänänen J. ; Hirvonen A. ; de Queiroz R.
Konference	23rd International Workshop on Logic, Information and Computation (WoLLIC 2016), 16.08.2016 - 19.08.2016, Puebla
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	339691, XE - země EU
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	partial order behaviour of Petri nets * monadic second order logic * recognizability
URL	http://link.springer.com/chapter/10.1007/978-3-662-52921-8_13
Trvalý link	http://hdl.handle.net/11104/0263851

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	deOliveiraOliveira4.pdf	2	334.2 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1