机译:等效代数语言的合理和完整公理化
Leiden Institute of Advanced Computer Science (LIACS), Leiden University, The Netherlands;
Technische Universitat Braunschweig Lehrstuhl fur Theoretische Informatik, FAU Erlangen-Nuernberg,Germany;
Intelligent Systems Section, Radboud University Nijme-gen, Nijmegen, The Netherlands;
coalgebra; language; regular expressions; trace; weighted automata;
机译:煤代模态逻辑:局部后果的稳健性,完整性和可判定性
机译:健全而完整的多数公理化-逻辑
机译:动态拓扑逻辑的声音和完全公理化
机译:分隔持续的声音和完整的公理化
机译:微正则和正则合奏的大偏差原理以及完全等价和不等价的结果,并应用于地球物理学。
机译:从不熟悉的语言的单词声音中猜测意义:跨文化声音象征主义研究
机译:合而论语言对等的完善公理化
机译:具有记忆的程序之间操作等效的完整公理化