Interpolation in fragments of intuitionistic propositional logic / Gerard R. Renardel de LavaletteStrictness analysis for POLYREC, a language with polymorphic and recursive types / Gerard R. Renardel de LavaletteModularisation, parameterisation, interpolation / Gerard R. Renardel de LavaletteChoice in applicative theories / G.R. Renardel de LavaletteCounterexamples in applicative theories with choice / Gerard R. Renardel de LavaletteStrictness analysis via abstract interpretation for recursively defined types / Gerard R. Renardel de LavaletteHow to change your world : a variant of quantified dynamic logic / Gerard R. Renardel de LavaletteHet erfgoed van Richard Montague / Gerard Renardel de LavaletteTheories with type-free application and extended bar induction / Gerard Rudolf Renardel de LavaletteInterpolation in a fragment of intuitionistic propositional logic / Gerard R. Renardel de LavaletteStrictheidsanalyse / Gerard R. Renardel de LavaletteInterpolation in natural fragments of intuitionistic propositional logic / Gerard R. Renardel de Lavalette
author
Computations in fragments of intuitionistic propositional logic / D. de Jongh, Lex Hendriks, G.R. Renardel de LavaletteInductive definitions in COLD-k / C.P.J. Koymans and Gerard R. Renardel de LavaletteComputations in fragments of intuitionistic propositional logic / Dick de Jongh, Lex Hendriks, Gerard R. Renardel de LavaletteA tractable algorithm for the wellfounded model / Catholijn M. Jonker, Gerard R. Renardel de LavaletteFormalisation for decision support in anaesthesiology / Gerard R. Renardel de Lavalette ... [et al.]A semantic framework for the COLD-family of languages / H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavalette