Page content
Section menu
Main menu
Associative links
standard view|login|print|e-mail this page
Stel uw voorkeurstalen in op Nederlands, Engels Set your preferred languages to only English advanced|
Page content:
prof. dr. G.R. (Gerard) Renardel de Lavalette
 
Name:prof. dr. G.R. (Gerard) Renardel de Lavalette
Picture of prof. dr. G.R. (Gerard) Renardel de Lavalette
 
Job title:Professor
Other positions:Deputy Programme Director Computing Science
Additional activities: none
Field/Discipline:Computer Science, Theory & Methods
Logic
Expertise: Discrete mathematics, mathematical logic
 
E-mail:

 
 
Work address
 
Faculty or Service:Faculty of Mathematics and Natural Sciences
Department:Fundamental Computing Science — Johann Bernoulli Inst. for Math. and CompSc. (CS)
Address:Nijenborgh 9
9747 AG Groningen
The Netherlands
 
Place of work
 
Telephone:+31 50 363 7128
+31 50 363 3939 (Secretariat)
 
Additional contact information
 
Homepage:http://www.cs.rug.nl/~grl/
 
Most recent publications
 

Kooi, B.P., Renardel de Lavalette, G.R, & Verbrugge, L.C (2008). Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information, 17(1), 69-87.
Renardel de Lavalette, G.R, Kooi, B., & Verbrugge, R (2007). Strong completeness and limited canonicity for PDL. Journal of Logic, Language and Information, 17(1), 69-87.
Kooi, B.P., Renardel de Lavalette, G.R, & Verbrugge, L.C (2006). Hybrid logics with infinitary proof systems. Journal of Logic and Computation, 16(2), 161-175.

Publications of prof. dr. G.R. (Gerard) Renardel de Lavalette

 

Last modified:February 02, 2011 14:43
Associative links:
 
:

prof. dr. G.R. (Gerard) Renardel de Lavalette

:
 
Home RUG   staff