作 者:Douglas Bridges
出 处:Logical Methods in Computer Science. 2014 ;10(2):1.doi:10.2168/LMCS-10(2:9)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264691924
作 者:Douglas Bridges
出 处:Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:15)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264692000
作 者:Douglas Bridges ;James Dent ;Maarten McKubre-Jordens
出 处:Logical Methods in Computer Science. 2016 ;12(3):1.doi:10.2168/LMCS-12(3:10)2016
出 版 社:Technical University of Braunschweig
文 章 ID:264692241
作 者:Josef Berger ;Douglas Bridges
出 处:OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2259
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848307