Publications
Export 1 results:
Author Title [ Type] Year Filters: First Letter Of Title is B and Author is Bilkova, M [Clear All Filters]
“Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, . Filosofia Publisher.
. 2006.