A. Birštunas
From MaRDI portal
Person:926637
Available identifiers
zbMath Open birstunas.adomasMaRDI QIDQ926637
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Logical derivation search with assumption traceability | 2022-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2811591 | 2016-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2809676 | 2016-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3173800 | 2011-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607557 | 2009-03-02 | Paper |
| PSPACE complexity of modal logic KD45\(_{n}\) | 2008-09-22 | Paper |
| Efficient loop-check for KD45 logic | 2008-05-20 | Paper |
Research outcomes over time
This page was built for person: A. Birštunas
