Proving the Decidability of the PDLxPDL Product Logic

Bibliographic Details
Main Authors:	P. Balbiani, L. Aszalos
Format:	Article
Language:	English
Published:	Babes-Bolyai University, Cluj-Napoca 2009-07-01
Series:	Studia Universitatis Babes-Bolyai: Series Informatica
Online Access:	http://www.cs.ubbcluj.ro/~studia-i/2009-1/01-Aszalos.pdf

id	doaj-e58b476a458747cca182594a40e08332
record_format	Article
spelling	doaj-e58b476a458747cca182594a40e083322020-11-24T23:44:00ZengBabes-Bolyai University, Cluj-NapocaStudia Universitatis Babes-Bolyai: Series Informatica1224-869X2009-07-01541316Proving the Decidability of the PDLxPDL Product LogicP. BalbianiL. Aszaloshttp://www.cs.ubbcluj.ro/~studia-i/2009-1/01-Aszalos.pdf
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	P. Balbiani L. Aszalos
spellingShingle	P. Balbiani L. Aszalos Proving the Decidability of the PDLxPDL Product Logic Studia Universitatis Babes-Bolyai: Series Informatica
author_facet	P. Balbiani L. Aszalos
author_sort	P. Balbiani
title	Proving the Decidability of the PDLxPDL Product Logic
title_short	Proving the Decidability of the PDLxPDL Product Logic
title_full	Proving the Decidability of the PDLxPDL Product Logic
title_fullStr	Proving the Decidability of the PDLxPDL Product Logic
title_full_unstemmed	Proving the Decidability of the PDLxPDL Product Logic
title_sort	proving the decidability of the pdlxpdl product logic
publisher	Babes-Bolyai University, Cluj-Napoca
series	Studia Universitatis Babes-Bolyai: Series Informatica
issn	1224-869X
publishDate	2009-07-01
url	http://www.cs.ubbcluj.ro/~studia-i/2009-1/01-Aszalos.pdf
work_keys_str_mv	AT pbalbiani provingthedecidabilityofthepdlxpdlproductlogic AT laszalos provingthedecidabilityofthepdlxpdlproductlogic
_version_	1725500550665994240

Similar Items