马库斯·克拉希特
人员信息
优化列表
2010 – 2019
2019 [第14条] 优素福·阿波默尔 , 马库斯·克拉希特 :
处理阿拉伯语形态学的纯面向表面的方法。 FG公司 2019 : 1-17 2018 [第13条] 优素福·阿波默尔 , 马库斯·克拉希特 :
动态流畅地表达阿拉伯语句子的意义。 ACLING公司 2018 : 321-327 2017 [第12条] 马库斯·克拉赫特 , 优素福·阿波默尔 :
参数结构和引用系统。 IWCS(2) 2017 2016 [第11条] 马库斯·克拉希特 :
无限深度的逻辑。 模态逻辑的进展 2016 : 435-448 2015 [第10条] 安德拉斯·科尔奈 , 马库斯·克拉希特 :
词汇语义学和模式理论:终于在一起了? 摩尔 2015 : 51-61 2014 [公元25年] 马库斯·克拉希特 , 乌多·克莱因 :
代码转换语法。 J.日志。 语言信息。 23 ( 三 ) : 313-329 ( 2014 ) 2013 [公元24年] 马库斯·克拉希特 :
逻辑语言是合成语言吗? Stud Logica公司 101 ( 6 ) : 1319-1340 ( 2013 ) 2012 [第2页] 马库斯·克拉希特 :
注释系统中标记结构的模态逻辑基础。 文本技术数据结构的建模、学习和处理 2012 : 111-127 2011 [公元23年] 马库斯·克拉希特 :
灵知症。 J.菲洛斯。 日志。 40 ( 三 ) : 397-420 ( 2011 ) 【c9】 克里斯托夫·布兰特 , 马库斯·克拉希特 :
交际中的句法、语义和语用。 I-语义 2011 : 195-202 [电子2] 金泽真本 , 安德拉斯·科尔奈 , 马库斯·克拉希特 , Hiroyuki Seki先生 :
2011年9月6日至8日,第12届语言数学双年展,MOL 12,日本奈良。 诉讼程序。 计算机科学课堂讲稿 6878, 施普林格 2011 ,国际标准图书编号 978-3-642-23210-7 [目录] 2010 [公元22年] 马库斯·克拉希特 :
判断和后果关系。 J.应用。 非班级。 逻辑 20 ( 4 ) : 423-435 ( 2010 ) [公元21年] 马库斯·克拉希特 :
编辑。 J.日志。 语言信息。 19 ( 1 ) : 1 ( 2010 )
2000 – 2009
2007 [第1页] 马库斯·克拉希特 :
模态后果关系。 模态逻辑手册 2007 : 491-545 2006 [公元20年] 托马斯·科瓦尔斯基 , 马库斯·克拉希特 :
模态代数的半单变种。 Stud Logica公司 83 ( 1-3 ) : 351-363 ( 2006 ) [公元19年] 马库斯·克拉希特 :
部分代数,意义范畴和代数化。 理论。 计算。 科学。 354 ( 1 ) : 131-141 ( 2006 ) 2003 [公元18年] 马库斯·克拉希特 :
衍生产品的约束。 语法 6 ( 2 ) : 89-113 ( 2003 ) 2002 [公元17年] 马库斯·克拉希特 :
指称系统与关系语法。 J.日志。 语言信息。 11 ( 2 ) : 251-286 ( 2002 ) [公元16年] 马库斯·克拉希特 :
不变逻辑。 数学。 日志。 问:。 48 ( 1 ) : 29-50 ( 2002 ) 【c8】 马库斯·克拉希特 :
模态逻辑中检查可满足性的空间要求注释。 模态逻辑的进展 2002 : 243-264 2001 [公元15年] 马库斯·克拉希特 :
减少模态后果关系。 J.日志。 计算。 11 ( 6 ) : 879-907 ( 2001 ) 2000 【c7】 马库斯·克拉赫特 , 奥利弗·库茨 :
情态谓词逻辑的语义I.对应框架。 模态逻辑的进展 2000 : 299-320 【c6】 克里斯蒂安·艾伯特 , 马库斯·克拉赫特 :
案例堆叠语言的形式语法和语义。 冷却 2000 : 250-256
1990 – 1999
1999 [公元14年] 马库斯·克拉希特 :
模态逻辑格及其自同构群。 Ann.纯粹应用。 日志。 100 ( 1-3 ) : 99-139 ( 1999 ) [j13] 马库斯·克拉希特 , 弗兰克·沃尔特 :
普通单峰逻辑可以模拟所有其他逻辑。 J.塞姆。 日志。 64 ( 1 ) : 99-138 ( 1999 ) [公元12年] 马库斯·克拉希特 :
需要超大框架的模态逻辑。 圣母院J.正式日志。 40 ( 2 ) : 141-173 ( 1999 ) [公元11年] 马库斯·克拉希特 :
书评:V.V.Rybakov。 逻辑推理规则的可接受性。 圣母院J.正式日志。 40 ( 4 ) : 578-587 ( 1999 ) 1998 [公元10年] 马库斯·克拉赫特 :
关于中间逻辑的强否定扩张。 J.菲洛斯。 日志。 27 ( 1 ) : 49-73 ( 1998 ) 【c5】 马库斯·克拉希特 :
逻辑和句法——个人视角。 模态逻辑的进展 1998 : 337-366 【c4】 马库斯·克拉赫特 :
严格的构成和文字运动语法。 拉丁美洲和加勒比海 1998 : 126-142 [电子1] 马库斯·克拉希特 , 马尔滕·德·里杰克 , 海因里希·瓦辛 , 迈克尔·扎克哈里亚舍夫 :
模态逻辑进展1,1996年10月8日至10日在德国柏林举行的第一次“模态逻辑进展”研讨会的论文。 CSLI出版物 1998 ,国际标准图书编号 1-57586-102-X号 [目录] 1997 [公元9年] 马库斯·克拉希特 , 弗兰克·沃尔特 :
模态逻辑中的模拟和传输结果——综述。 Stud Logica公司 59 ( 1 ) : 149-177 ( 1997 ) 1996 【c3】 马库斯·克拉赫特 :
不重要的特征。 拉丁美洲和加勒比海 1996 : 43-62 【c2】 延斯·迈克利斯 , 马库斯·克拉希特 :
作为句法不变量的半线性。 拉丁美洲和加勒比海 1996 : 329-345 1995 [j8] 马库斯·克拉希特 :
句法代码和语法精炼。 J.日志。 语言信息。 4 ( 1 ) : 41-60 ( 1995 ) [j7] 马库斯·克拉希特 :
通往危险区的公路。 J.日志。 计算。 5 ( 1 ) : 93-109 ( 1995 ) 1993 [j6] 马库斯·克拉赫特 :
分裂和有限模型特性。 J.塞姆。 日志。 58 ( 1 ) : 139-157 ( 1993 ) [j5] 马库斯·克拉希特 :
预先公理化的模态和中间逻辑。 数学。 日志。 问:。 39 : 301-322 ( 1993 ) 【c1】 马库斯·克拉希特 :
指挥关系的数学方面。 EACL公司 1993 : 240-249 1992 【j4】 马库斯·克拉希特 :
更多关于时态逻辑格的内容。 架构(architecture)。 数学。 日志。 31 ( 4 ) : 243-257 ( 1992 ) 1991 [j3] 马库斯·克拉希特 :
一个urquhart问题的解决方案。 J.菲洛斯。 日志。 20 ( 三 ) : 285-286 ( 1991 ) [注2] 马库斯·克拉希特 , 弗兰克·沃尔特 :
独立公理化双峰逻辑的性质。 J.塞姆。 日志。 56 ( 4 ) : 1469-1485 ( 1991 ) 1990 [j1] 马库斯·克拉赫特 :
模态逻辑的一个几乎通用的分裂定理。 Stud Logica公司 49 ( 4 ) : 455-470 ( 1990 )