De Rudder, Laurent
15  results:
Search for persons X
?
1

Slanted Canonicity of Analytic Inductive Inequalities:

De Rudder, Laurent ; Palmigiano, Alessandra
ACM Transactions on Computational Logic.  22 (2021)  3 - p. 1-41 , 2021
 
?
2

Slanted Canonicity of Analytic Inductive Inequalities:

De Rudder, Laurent ; Palmigiano, Alessandra
ACM Transactions on Computational Logic (TOCL).  22 (2021)  3 - p. 1-41 , 2021
 
?
3

A Formalized 3D Geovisualization Illustrated to Selectivity..:

Neuville, Romain ; Pouliot, Jacynthe ; Poux, Florent..
ISPRS International Journal of Geo-Information.  7 (2018)  5 - p. 194 , 2018
 
?
 
?
 
?
9

Subordination algebras and tense logic:

De Rudder, Laurent
https://orbi.uliege.be/handle/2268/252294.  , 2020
 
?
10

A Shalqvist theorem for subordination algebras:

De Rudder, Laurent
https://orbi.uliege.be/handle/2268/253090.  , 2019
 
?
12

A journey through categories:

De Rudder, Laurent
https://orbi.uliege.be/handle/2268/256275.  , 2018
 
?
13

Gelfand duality for compact pospaces:

De Rudder, Laurent
https://orbi.uliege.be/handle/2268/211201.  , 2017
 
?
14

TOWARDS A DECISION SUPPORT TOOL FOR 3D VISUALISATION: APPLI..:

Neuville, Romain ; Pouliot, Jacynthe ; Poux, Florent...
https://www.isprs-ann-photogramm-remote-sens-spatial-inf-sci.net/IV-4-W5/91/2017/.  , 2017
 
1-15