References of "Gribomont, Pascal"
     in
Bookmark and Share    
Full Text
See detailEpistemic Logic
Gochet, Paul ULg; Gribomont, Pascal ULg

in Gabbay, Dov; Woods, John (Eds.) Handbook of the History of Logic, vol. 7 (2006)

Detailed reference viewed: 67 (15 ULg)
Full Text
See detailAlgorithms for Relevant Logic
Gochet, Paul ULg; Gribomont, Pascal ULg; Rossetto, Didier

in Vanderveken, Daniel (Ed.) Logic, Thought and Action (2005)

Detailed reference viewed: 18 (3 ULg)
Full Text
Peer Reviewed
See detailCombining Non-stably Infinite, Non-first Order Theories
Fontaine, Pascal; Gribomont, Pascal ULg

in Electronic Notes in Theoretical Computer Science (2005), 125(3), 37-51

Detailed reference viewed: 16 (6 ULg)
Full Text
See detailApplied Logics for Computer Science
Gochet, Paul ULg; Gribomont, Pascal ULg

in Weingartner, Paul (Ed.) Alternative Logics. Do Sciences Nedd Them? (2004)

Detailed reference viewed: 18 (6 ULg)
Full Text
Peer Reviewed
See detailDecidability of invariant validation for paramaterized systems
Fontaine, Pascal; Gribomont, Pascal ULg

in Lecture Notes in Computer Science (2003), 2619

Detailed reference viewed: 17 (4 ULg)
Full Text
Peer Reviewed
See detailSimplification of boolean verification conditions
Gribomont, Pascal ULg

in Theoretical Computer Science (2000), 239(1), 165-185

Detailed reference viewed: 30 (10 ULg)
See detailLogique : méthodes pour l'intelligence artificielle
Gochet, Paul ULg; Gribomont, Pascal ULg; Thayse, André

Book published by Hermès (2000)

Detailed reference viewed: 106 (10 ULg)
See detailEléments de programmation en Scheme
Gribomont, Pascal ULg

Book published by Dunod (2000)

Detailed reference viewed: 58 (13 ULg)