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 |