Paper

essays dedicated to Dexter Kozen on the occasion of his 60th birthday, Springer-Verlag, Berlin, Heidelberg, 2012

Jakob Rehof , Pawe? Urzyczyn, The complexity of inhabitation with explicit intersection, Logic and Program Semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday, Springer-Verlag, Berlin, Heidelberg, 2012

2012

Created by ACM worker at 2019-04-10 11:28:37.0.
Last updated by ACM worker at 2019-04-10 13:51:38.0.
Simplified Graph of Associations
Word Cloud
Quid