G. D. Lavalette
发表
Jakub Szymanik,
Sujata Ghosh,
G. D. Lavalette,
2015
.
Gerard Renardel de Lavalette,
Marco Aiello,
Bram Leemburg,
2011
.
Kees Middelburg,
Gerard R. Renardel de Lavalette,
G. R. D. Lavalette,
1991,
VDM Europe.
Lex Hendriks,
Dick de Jongh,
Gerard R. Renardel de Lavalette,
1991,
Journal of Automated Reasoning.
W. Jager,
G. R. D. Lavalette,
C. Elsenbroich,
2018
.
W. Jager,
G. R. D. Lavalette,
C. Elsenbroich,
2015
.
Lex Hendriks,
Dick de Jongh,
Gerard R. Renardel de Lavalette,
2012,
J. Log. Comput..
Gerard R. Renardel de Lavalette,
G. D. Lavalette,
1990,
Ann. Pure Appl. Log..
Barteld P. Kooi,
R. Verbrugge,
G. D. Lavalette,
2008,
J. Log. Lang. Inf..
Gerard R. Renardel de Lavalette,
C. P. J. Koymanns,
G. D. Lavalette,
1987,
Algebraic Methods.
Gerard R. Renardel de Lavalette,
G. D. Lavalette,
1987,
Journal of Symbolic Logic.
Catholijn M. Jonker,
G. R. Renardel de Lavalette,
C. Jonker,
1992
.
G. R. Renardel de Lavalette,
C. P. J. Koymans,
C. Koymans,
1989
.
G. R. Renardel de Lavalette,
G. D. Lavalette,
1989
.
G. R. D. Lavalette,
S. V. Denneheuvel,
G. D. Lavalette,
1989
.
G. R. Renardel de Lavalette,
G. D. Lavalette,
1988
.
G. R. Renardel de Lavalette,
G. D. Lavalette,
1986
.
H. B. M. Jonkers,
G. R. Renardel de Lavalette,
C. P. J. Koymans,
1986
.
Gerard R. Renardel de Lavalette,
G. R. D. Lavalette,
G. D. Lavalette,
1993,
Semantics of Specification Languages.
Wim H. Hesselink,
Gerard R. Renardel de Lavalette,
J. C. Hummelen,
2007,
ArXiv.