| Title | Completeness classes for intuitionistic first-order temporal logic with time gaps |
|---|---|
| Translation of Title | Pilnumo klasės intuicionistinei pirmos eilės laiko logikai su laiko tarpsniais. |
| Authors | Alonderis, Romas |
| DOI | 10.15388/LMR.2005.26671 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys. 2005, T. 45, spec, Nr, p. 309-315.. ISSN 0132-2818 |
| Type | Journal article |
| Language | English |
| Publication date | 2005 |
| CC license |
|