机译:声明式多范式语言的操作语义11这项工作得到了CICYT TIC 2001-2705-C03-01,MCYT的HA2001-0059,HU2001-0019和HI2000-0161的部分支持以及DFG的Ha 2457 / 1-2的部分支持。
机译:同类交换DAE的交换观察性
机译:功能逻辑语言的操作语义学**这项工作得到了AccyónIntegrada Hispano-Alemana HA2001-0059和CICYT TIC 2001-2705-C03-01的部分支持。诠释西班牙裔澳大利亚人HU2001-0019,由Acc。诠释Hispano-Italiana HI2000-0161,并由DFG授予Ha 2457 / 1-2。