作 者:Mayer Goldberg
出 处:BRICS Report Series. 1996 ;3(5).
出 版 社:Aarhus University
文 章 ID:101759902
作 者:Olivier Danvy ;Mayer Goldberg
出 处:BRICS Report Series. 1997 ;4(1).
出 版 社:Aarhus University
文 章 ID:101759949
作 者:Mayer Goldberg
出 处:BRICS Report Series. 1995 ;2(49).
出 版 社:Aarhus University
文 章 ID:101760005
作 者:Mayer Goldberg
出 处:BRICS Report Series. 1995 ;2(35).
出 版 社:Aarhus University
文 章 ID:101760066
作 者:Mayer Goldberg
出 处:Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:25)2015
出 版 社:Technical University of Braunschweig
文 章 ID:264692071
作 者:Mayer Goldberg
出 处:BRICS Report Series. 1995 ;2(38).
出 版 社:Aarhus University
文 章 ID:186804730
作 者:Mayer Goldberg
出 处:BRICS Report Series. 2001 ;8(35).
出 版 社:Aarhus University
文 章 ID:186804752
作 者:Olivier Danvy ;Mayer Goldberg
出 处:BRICS Report Series. 2001 ;8(39).
出 版 社:Aarhus University
文 章 ID:186804756
作 者:Olivier Danvy ;Mayer Goldberg
出 处:BRICS Report Series. 2002 ;9(12).
出 版 社:Aarhus University
文 章 ID:186804784
作 者:Mads Sig Ager ;Olivier Danvy ;Mayer Goldberg
出 处:BRICS Report Series. 2002 ;9(37).
出 版 社:Aarhus University
文 章 ID:186804806