| Title |
Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps |
| Translation of Title |
Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija. |
| Authors |
Alonderis, Romas |
| DOI |
10.15388/LMD.1999.35639 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys.. Vilnius : Vilniaus universiteto leidykla. 1999, t. 3, p. 305-310.. ISSN 0132-2818. eISSN 2335-898X |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Journal article |
| Language |
English |
| Publication date |
1999 |
| CC license |
|
