Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Honzik, R  [Clear All Filters]
Conference Paper
Primiero, Giuseppe. 2007. “On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, O Tomala and Honzik, R. Filosofia Publisher.