| Title | Decision procedure for a fragment of quantified branching temporal logic / |
|---|---|
| Translation of Title | Išsprendžiamoji procedūra kvantorinės skaidaus laiko logikos fragmentui. |
| Authors | Pliuškevičienė, Aida |
| DOI | 10.15388/LMR.2002.32980 |
| ISBN | 9986680212 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys, T.42, spec. nr.: Lietuvos matematikų draugijos XLIII konferencijos mokslo darbai.. Vilnius, 2002. t. 42, spec. nr., p. 476-480.. ISSN 0132-2818. eISSN 2335-898X. ISBN 9986680212 |
| Published | Vilnius, 2002 |
| Type | Journal article |
| Language | English |
| Publication date | 2002 |
| CC license |
|