D. Leivant
发表
D. Leivant,
1995
.
Daniel Leivant,
D. Leivant,
1994,
Inf. Comput..
D. Leivant,
1979
.
D. Leivant,
1975
.
Daniel Leivant,
D. Leivant,
1985
.
Dexter Kozen,
Ruy J. G. B. de Queiroz,
D. Leivant,
2008,
Lecture Notes in Computer Science.
Daniel Leivant,
Valeria de Paiva,
Lawrence S. Moss,
2016,
Log. J. IGPL.
Daniel Leivant,
Jean-Yves Marion,
D. Leivant,
2020,
Mathematical Structures in Computer Science.
Daniel Leivant,
D. Leivant,
1979
.
Daniel Leivant,
D. Leivant,
1995,
LCC.
Daniel Leivant,
D. Leivant,
1995,
Lecture Notes in Computer Science.
Daniel Leivant,
D. Leivant,
1990,
Inf. Comput..
D. Leivant,
2022
.
D. Leivant,
2018
.
Daniel Leivant,
D. Leivant,
1975
.
D. Leivant,
Afdeling Zuivere,
2006
.
D. Leivant,
1995
.
D. Leivant,
2019
.
Daniel Leivant,
D. Leivant,
1989
.
Daniel Leivant,
Steven Fortune,
Michael O'Donnell,
1983,
JACM.
Daniel Leivant,
D. Leivant,
1981,
STOC '81.
Daniel Leivant,
D. Leivant,
2013,
CSL.
Daniel Leivant,
D. Leivant,
2009,
FoSSaCS.
Daniel Leivant,
D. Leivant,
2008,
VSTTE.
Daniel Leivant,
D. Leivant,
2008,
MFPS.
Daniel Leivant,
D. Leivant,
2008,
Pillars of Computer Science.
Daniel Leivant,
D. Leivant,
2008,
LFMTP@LICS.
Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic
Daniel Leivant,
D. Leivant,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Daniel Leivant,
D. Leivant,
1994,
Handbook of Logic in Artificial Intelligence and Logic Programming.
Daniel Leivant,
D. Leivant,
1985,
Journal of Symbolic Logic.
Daniel Leivant,
D. Leivant,
2004,
FoSSaCS.
Daniel Leivant,
D. Leivant,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Daniel Leivant,
D. Leivant,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Daniel Leivant,
D. Leivant,
2004,
Theor. Comput. Sci..
Daniel Leivant,
D. Leivant,
1991,
Inf. Comput..
Daniel Leivant,
D. Leivant,
1983,
Journal of Symbolic Logic (JSL).
D. Leivant,
Valeria C V de Paiva,
M. Moortgat,
2019
.
Daniel Leivant,
D. Leivant,
1981,
Journal of Symbolic Logic.
Daniel Leivant,
D. Leivant,
1986,
Theor. Comput. Sci..
Daniel Leivant,
D. Leivant,
1983,
POPL '83.
Daniel Leivant,
D. Leivant,
2002,
CSL.
Daniel Leivant,
D. Leivant,
2001,
LPAR.
Daniel Leivant,
D. Leivant,
2001
.
Daniel Leivant,
D. Leivant,
1985
.
D. Leivant,
Daniel Leivant,
1994,
Handbook of Logic in Artificial Intelligence and Logic Programming.
Daniel Leivant,
D. Leivant,
1999,
Ann. Pure Appl. Log..
Daniel Leivant,
D. Leivant,
1993,
POPL '93.
Daniel Leivant,
D. Leivant,
2002,
Ann. Pure Appl. Log..
Daniel Leivant,
D. Leivant,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Daniel Leivant,
D. Leivant,
1990
.
Daniel Leivant,
D. Leivant,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Daniel Leivant,
D. Leivant,
1985,
Logic of Programs.
D. Leivant,
1985,
POPL.
Daniel Leivant,
D. Leivant,
1981,
ICFPC.
Daniel Leivant,
Tim Fernando,
D. Leivant,
1988,
JACM.
Daniel Leivant,
D. Leivant,
2013,
Log. Methods Comput. Sci..
Daniel Leivant,
D. Leivant,
2012,
Turing-100.
Daniel Leivant,
D. Leivant,
1989,
J. Comput. Syst. Sci..
Daniel Leivant,
D. Leivant,
1992
.
Daniel Leivant,
D. Leivant,
2019,
LFCS.
D. Leivant,
2019,
ArXiv.
Daniel Leivant,
Ramyaa,
D. Leivant,
2015,
FoSSaCS.
Daniel Leivant,
D. Leivant,
2002,
IFIP TCS.
Daniel Leivant,
D. Leivant,
1994,
LCC.
Daniel Leivant,
Ramyaa,
D. Leivant,
2011,
MFPS.
Daniel Leivant,
D. Leivant,
1983,
POPL '83.
Daniel Leivant,
D. Leivant,
1982,
Theor. Comput. Sci..
Daniel Leivant,
D. Leivant,
1984
.
Daniel Leivant,
D. Leivant,
1993,
Theor. Comput. Sci..
Daniel Leivant,
Jean-Yves Marion,
D. Leivant,
1993,
Fundam. Informaticae.