Searching for authors named "Aida Pliuskeviciene" – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Decision Procedure for a Fragment of Temporal Logic of Belief and Actions with Quantified Agent and Action Variables
- … Regimantas PLIUˇSKEVIČIUS, Aida PLIUˇSKEVIČIEN ˙E Institute of Mathematics and Informatics Akademijos 4…
- Add To MetaCart
-
A Logic for Set-Valued Functions: Cut-Elimination and Other Improvements
- … Micha/l Walicki y Jurate Sakalauskaite Aida Pliuskeviciene August 26, 1999 Abstract Motivated…
- Add To MetaCart
Showing 1 through 2.
