Proving the Decidability of the PDLxPDL Product Logic
| Main Authors: | , |
|---|---|
| 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 |
| _version_ | 1817979106121220096 |
|---|---|
| author | P. Balbiani L. Aszalos |
| author_facet | P. Balbiani L. Aszalos |
| author_sort | P. Balbiani |
| collection | DOAJ |
| first_indexed | 2024-04-13T22:38:31Z |
| format | Article |
| id | doaj.art-e58b476a458747cca182594a40e08332 |
| institution | Directory Open Access Journal |
| issn | 1224-869X |
| language | English |
| last_indexed | 2024-04-13T22:38:31Z |
| publishDate | 2009-07-01 |
| publisher | Babes-Bolyai University, Cluj-Napoca |
| record_format | Article |
| series | Studia Universitatis Babes-Bolyai: Series Informatica |
| spelling | doaj.art-e58b476a458747cca182594a40e083322022-12-22T02:26:42ZengBabes-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 |
| spellingShingle | P. Balbiani L. Aszalos Proving the Decidability of the PDLxPDL Product Logic Studia Universitatis Babes-Bolyai: Series Informatica |
| title | 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_short | Proving the Decidability of the PDLxPDL Product Logic |
| title_sort | proving the decidability of the pdlxpdl product logic |
| url | http://www.cs.ubbcluj.ro/~studia-i/2009-1/01-Aszalos.pdf |
| work_keys_str_mv | AT pbalbiani provingthedecidabilityofthepdlxpdlproductlogic AT laszalos provingthedecidabilityofthepdlxpdlproductlogic |