马可·霍伦伯格
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2000 – 2009
2000 【b1】 万·J·福克金 , 简·弗里索·格鲁特 , 马可·霍伦伯格 , 巴斯·范·弗利杰曼 :
LARIS 1.0-铁路互连规范语言。 CWI公司 2000 ,十亿 978-90-6196-489-6 第I-VI页,第1-129页 [j5] 乔瓦娜·达戈斯蒂诺 , 马可·霍伦伯格 :
关于微积分的逻辑问题:插值、林登和洛斯·塔斯基。 J.塞姆。 日志。 65 ( 1 ) : 310-332 ( 2000 )
1990 – 1999
1999 【j4】 马可·霍伦伯格 , 阿尔伯特·维瑟 :
动态否定,唯一。 J.日志。 语言信息。 8 ( 2 ) : 137-141 ( 1999 ) 【c3】 马可·霍伦伯格 :
用于测试生成的测试模板。 IWTCS系统 1999 : 167-178 1998 [j3] 马可·霍伦伯格 :
模态逻辑中否定可定义性的特征。 Stud Logica公司 60 ( 2 ) : 357-386 ( 1998 ) 1997 [注2] 马可·霍伦伯格 :
动态否定和关系合成的等式公理化。 J.日志。 语言信息。 6 ( 4 ) : 381-401 ( 1997 ) 【c2】 马可·霍伦伯格 :
测试代数的等式公理。 CSL公司 1997 : 295-310 1996 [j1] 马可·霍伦伯格 , 基斯·弗默伦 :
计算动态设置中的变量。 J.日志。 计算。 6 ( 5 ) : 725-744 ( 1996 ) 【c1】 乔瓦娜·达戈斯蒂诺 , 马可·霍伦伯格 :
均匀插值、自动机和模态微积分。 模态逻辑的进展 1996 : 73-84
![](https://dblp.org/img/cog.dark.24x24.png)