Decision procedure for an extended miniscoped fragment of FTL with equality
Articles
Aida Pliuškevičienė
Institute of Mathematics and Informatics
Published 2003-12-22
https://doi.org/10.15388/LMR.2003.32472
PDF

How to Cite

Pliuškevičienė, A. (2003) “Decision procedure for an extended miniscoped fragment of FTL with equality”, Lietuvos matematikos rinkinys, 43(spec.), pp. 438–443. doi:10.15388/LMR.2003.32472.