Jurate Sakalauskaite
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1991–1994
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | SEKE | A complete sequent calculus for a first order branching temporal logic. | Jurate Sakalauskaite |
| 1992 | LFCS | A Sequent Calculus for a First Order Linear Temporal Logic with Equality. | Jurate Sakalauskaite |
| 1991 | LPAR | A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time. | Jurate Sakalauskaite |