A. Birštunas
From MaRDI portal
Person:926637
Available identifiers
zbMath Open birstunas.adomasMaRDI QIDQ926637
List of research outcomes
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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: A. Birštunas