安德烈亚斯·波德尔斯基;格特·斯莫尔卡 情境简化。 (英语) Zbl 0902.68035号 西奥。计算。科学。 173,第1期,235-252(1997).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{G.Smolka},Theor。计算。科学。173,编号1,235--252(1997;Zbl 0902.68035) 全文: 内政部
罗尔夫·巴科芬;格特·斯莫尔卡 一个完整的递归特征理论。 (英语) Zbl 0873.68024号 西奥。计算。科学。 146,编号1-2,243-268(1995).MSC公司:68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen}和\textit{G.Smolka},Theor。计算。科学。146,编号1-2243-268(1995年;Zbl 0873.68024) 全文: 内政部 arXiv公司
格特·斯莫尔卡 高阶并发约束编程的基础。 (英语) Zbl 1495.68044号 Jouannaud,Jean-Pierre(编辑),计算逻辑中的约束。1994年9月7日至9日在德国慕尼黑举行的1994年CCL第一届国际会议。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。845, 50-72 (1994).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Smolka},莱克特。注释计算。科学。845、50-72(1994年;Zbl 1495.68044) 全文: 内政部
艾特·卡奇,哈桑;安德烈亚斯·波德尔斯基;格特·斯莫尔卡 一种包含逻辑编程的特征约束系统。 (英语) Zbl 0801.68023号 西奥。计算。科学。 122,编号1-2,263-283(1994).MSC公司:68N17号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}等人,Theor。计算。科学。122,编号1--2,263--283(1994;Zbl 0801.68023) 全文: 内政部
Schmidt Schauß,曼弗雷德;格特·斯莫尔卡 带有补语的定语概念描述。 (英语) Zbl 0712.68095号 Artif公司。智力。 48,第1期,1-26页(1991年).MSC公司:68立方英尺 65年第68季度 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{G.Smolka},Artif。智力。48,第1号,1-26(1991;Zbl 0712.68095) 全文: 内政部
何塞·梅塞盖尔;约瑟夫·戈根(Joseph A.Goguen)。;格特·斯莫尔卡 有序统一。 (英语) Zbl 0691.0302号 J.塞姆。计算。 8,第4期,383-413(1989). 审核人:C.马萨拉吉 MSC公司:03B35型 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人,J.Symb。计算。8,第4号,383--413(1989;Zbl 0691.0302) 全文: 内政部
格特·斯莫尔卡;哈桑·艾特·卡奇 继承层次:语义和统一。 (英语) Zbl 0678.68009号 J.塞姆。计算。 7,编号3-4,343-370(1989).MSC公司:60年第68季度 68吨15 68瓦30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Smolka}和\textit{H.Ait Kaci},J.Symb。计算。7,编号3--4,343--370(1989;Zbl 0678.68009) 全文: 内政部