搜索页_ Hans Zantemab

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

内部出版物

SpringerLink电子期刊(30)

Elsevier电子期刊(12)

在“Elsevier电子期刊”中，命中：12条，耗时：0.056974 秒

在所有数据库中总计命中：42条

1.A Transformational Approach to Prove Outermost Termination Automatically

作者：Matthias Raffelsieper ; Hans Zantema

刊名：Electronic Notes in Theoretical Computer Science

出版年：2009

2.On tree automata that certify termination of left-linear term rewriting systems

作者：Alfons Geser ; Dieter Hofbauer ; Johannes Waldmann ; Hans Zantema

关键词：Term rewriting systems ; Termination ; Forward closures ; Rewrite labellings ; Tree automata

刊名：Information and Computation

出版年：2007

3.Generalizing DPLL and satisfiability for equalities

作者：Bahareh Badban ; Jaco van de Pol ; Olga Tveretina ; Hans Zantema

关键词：Satisfiability ; DPLL procedure ; Equality ; Ground term algebra ; Inductive datatypes ; Decision procedure

刊名：Information and Computation

出版年：2007

4.Relative Undecidability in Term Rewriting: I. The Termination Hierarchy

作者：Geser ; Alfons ; Middeldorp ; Aart ; Ohlebusch ; Enno ; Zantema ; Hans

关键词：term rewriting ; termination ; undecidability

刊名：Information and Computation

出版年：2002

5.Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy

作者：Geser ; Alfons ; Middeldorp ; Aart ; Ohlebusch ; Enno ; Zantema ; Hans

关键词：term rewriting ; confluence ; undecidability

刊名：Information and Computation

出版年：2002

6.Transforming equality logic to propositional logic

作者：Hans Zantema ; Jan Friso Groote

刊名：Electronic Notes in Theoretical Computer Science

出版年：2003

7.Simulating Liveness by Reduction Strategies

作者：Jü ; rgen Giesl ; Hans Zantema

刊名：Electronic Notes in Theoretical Computer Science

出版年：2003

8.Preface: Volume 86, Issue 4

作者：Bernhard Gramlich ; Salvador Lucas

刊名：Electronic Notes in Theoretical Computer Science

出版年：2003

9.A rewriting approach to binary decision diagrams

作者：Zantema ; Hans ; van de Pol ; Jaco

关键词：Decision tree ; Binary deciison diagrams ; Term rewriting ; Shared rewriting ; Reduction strategies ; Reduction length

刊名：Journal of Logic and Algebraic Programming

出版年：2001

10.Termination modulo equations by abstract commutation with an application to iteration

作者：Fokkink ; Wan ; Zantema ; Hans

刊名：Theoretical Computer Science

出版年：1997

1

2

按检索点细分(12)

作者(11)

文摘(1)

按出版年细分(12)

2009年(1)

2007年(2)

2003年(3)

2002年(2)

2001年(1)

2000年及以前(3)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700