Search
Research outputs
Learning strategies for mechanised building of decision procedures
[2003]
Jamnik, M.; Janičić, Predrag 
The typed Böhm theorem [2001]
Došen, Kosta ; Petrić, Zoran
GeoThms - a Web System for Euclidean Constructive Geometry
[2007]
Quaresma, P.; Janičić, Predrag
Intersection and union types in the λ̄μμ̃-calculus
[2005]
Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre
The Typed Böhm Theorem [2001]
Došen, Kosta ; Petrić, Zoran
Filters
By type
- 5