Gerard Renardel de Lavalette
Gerard Renardel de Lavalette
hoogleraar Informatica, Rijksuniversiteit Groningen
Geverifieerd e-mailadres voor rug.nl
TitelGeciteerd doorJaar
Formal definition of the design language COLD-K
LMG Feijs, HBM Jonkers, CPJ Koymans, GR Renardel de Lavalette
METEOR Report t7/PRLE/7, Philips Research Lab., Eindhoven, 1987
531987
NNIL, a study in intuitionistic propositional logic
A Visser, J van Benthem, D de Jongh, G Renardel de Lavalette
Logic Group Preprint Series 111, 2008
47*2008
Reasoning about dynamic features in specification languages
R Groenboom, GR Renardel de Lavalette
Semantics of Specification Languages (SoSL), 340-355, 1994
351994
The logic MPLω
CPJ Koymans, GR Renardel de Lavalette
Algebraic Methods: Theory, tools and applications, 247-282, 1989
351989
A Formalisation of Evolving Algebras
R Groenboom, G Renardel de Lavalette
Proc. Accolade95, 17-28, 1995
341995
Computations in fragments of intuitionistic propositional logic
D De Jongh, L Hendriks, GR Renardel de Lavalette
Journal of Automated Reasoning 7 (4), 537-561, 1991
331991
Strictness analysis via abstract interpretation for recursively defined types
GR Renardel de Lavalette
Information and Computation 99 (2), 154-177, 1992
29*1992
Modal change logic (MCL): Specifying the reasoning of knowledge-based systems
D Fensel, R Groenboom, GR Renardel de Lavalette
Data & knowledge engineering 26 (3), 243-269, 1998
281998
A survey of the design language COLD
LMG Feijs, HBM Jonkers, JH Obbink, CPJ Koymans, GRR de Lavalette, ...
ESPRIT 86, 631-644, 1987
241987
Interpolation in fragments of intuitionistic propositional logic
GR Renardel de Lavalette
The Journal of symbolic logic 54 (04), 1419-1430, 1989
201989
Changing modalities
GR Renardel de Lavalette
Journal of Logic and Computation 14 (2), 251-275, 2004
192004
Intuitionistic implication without disjunction
GR Renardel de Lavalette, A Hendriks, DHJ de Jongh
Journal of Logic and Computation 22 (3), 375-404, 2012
182012
Modularisation, parameterisation, interpolation
GRR de Lavalette
Department of Philosophy, University of Utrecht, 1988
171988
Strong completeness and limited canonicity for PDL and similar modal logics
G Renardel de Lavalette, B Kooi, R Verbrugge
Preprint, 2004
162004
Put your money where your mouth is: DIAL, a dialogical model for opinion dynamics
P Dykstra, C Elsenbroich, W Jager, G Renardel de Lavalette, ...
Journal of Artificial Societies and Social Simulation 16 (3), 4, 2013
152013
Strong completeness for propositional dynamic logic
GR Renardel de Lavalette, BP Kooi, R Verbrugge
AiML2002—Advances in Modal Logic (conference proceedings), 377-393, 2002
152002
LPF and MPLω—a logical comparison of VDM SL and COLD-K
CA Middelburg, GR Renardel de Lavalette
VDM'91 Formal Software Development Methods, 279-308, 1991
151991
Extended bar induction in applicative theories
GR Renardel de Lavalette
Annals of Pure and Applied Logic 50 (2), 139-189, 1990
151990
Normalisation of database expressions involving calculations
S van Denneheuvel, GR Renardel de Lavalette
Rijksuniversiteit Utrecht. Faculteit der Wijsbegeerte, 1989
15*1989
Formal definition of the design language COLD-K (Preliminary version)
LMG Feijs, HBM Jonkers, CPJ Koymans, GRR de Lavalette
ESPRIT document METEOR/t7/PRLE/7, 1987
151987
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20