Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Renardel de Lavalette, G.R.
Volume
Title
111
NNIL, A study in intuitionistic propositional logic
Benthem, Johan van
|
Jongh, D.H.J. de
|
Renardel de Lavalette, G.R.
|
Visser, Albert
74
A tractable algorithm for the wellfounded model
Jonker, C.M.
|
Renardel de Lavalette, G.R.
59
Strictness analysis via abstract interpretation for recursively defined types
Renardel de Lavalette, G.R.
58
Query optimization using rewrite rules
Denneheuvel, S. van
|
Kwast, K.
|
Renardel de Lavalette, G.R.
|
Spaan, E.
53
Counterexamples in applicative theories with choice
Renardel de Lavalette, G.R.
50
Inductive definitions in COLD-K
Koymans, C.P.J.
|
Renardel de Lavalette, G.R.
49
Choice in applicative theories
Renardel de Lavalette, G.R.
45
Normalisation of database expressions involving calculations
Denneheuvel, S. van
|
Renardel de Lavalette, G.R.
39
Computations in fragments of intuitionistic propositional logic
Hendriks, L.
|
Jongh, D.H.J. de
|
Renardel de Lavalette, G.R.
33
Strictness analysis for POLYREC, a language with polymorphic and recursive types
Renardel de Lavalette, G.R.
32
Modularisation, parameterisation, interpolation
Renardel de Lavalette, G.R.
24
Interpolation in fragments of intuitionistic propositional logic
Renardel de Lavalette, G.R.
15
Interpolation in natural fragments of intuitionistic propositional logic
Renardel de Lavalette, G.R.
10
Strictheidsanalyse
Renardel de Lavalette, G.R.
9
A semantic framework for the COLD-family of languages
Jonkers, H.B.M.
|
Koymans, C.P.J.
|
Renardel de Lavalette, G.R.
5
Interpolation in a fragment of intuitionistic propositional logic
Renardel de Lavalette, G.R.
Online