| Title | Decision procedure for a combination of logics K D4 and PDL / |
|---|---|
| Translation of Title | Išsprendžiamoji procedūra K D4 ir PDL logikų apjungimui. |
| Authors | Pliuškevičienė, Aida |
| DOI | 10.15388/LMR.2004.32074 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys. 2004, T. 44, spec, Nr, p. 525-529.. ISSN 0132-2818 |
| Type | Journal article |
| Language | English |
| Publication date | 2004 |
| CC license |
|