| Title | Decision procedure for an extended miniscoped fragment of FTL with equality |
|---|---|
| Translation of Title | Išsprendžiamoji procedūra išplėstam minisferiniam FTL su lygybe fragmentui. |
| Authors | Pliuškevičienė, Aida |
| DOI | 10.15388/LMR.2003.32472 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys. 2003, T. 43, spec, nr, p. 438-443.. ISSN 0132-2818 |
| Type | Conference paper |
| Language | English |
| Publication date | 2003 |
| CC license |
|