Congruences Generated by Extended Ground Term Rewrite Systems

Sándor Vágvölgyi

doi:10.3233/fi-2009-155

Congruences Generated by Extended Ground Term Rewrite Systems

Fundamenta Informaticae ◽

10.3233/fi-2009-155 ◽

2009 ◽

Vol 95 (2-3) ◽

pp. 381-399 ◽

Cited By ~ 1

Author(s):

Sándor Vágvölgyi

Keyword(s):

Ground Term ◽

Rewrite Systems ◽

Term Rewrite Systems

Download Full-text

Congruential complements of ground term rewrite systems

Theoretical Computer Science ◽

10.1016/s0304-3975(98)00174-1 ◽

2000 ◽

Vol 238 (1-2) ◽

pp. 247-274 ◽

Cited By ~ 7

Author(s):

Sándor Vágvölgyi

Keyword(s):

Ground Term ◽

Rewrite Systems ◽

Term Rewrite Systems

Download Full-text

Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems

Applicable Algebra in Engineering Communication and Computing ◽

10.1007/s00200-004-0148-6 ◽

2004 ◽

Vol 15 (1) ◽

pp. 13-36 ◽

Cited By ~ 9

Author(s):

Guillem Godoy ◽

Ashish Tiwari ◽

Rakesh Verma

Keyword(s):

Ground Term ◽

Rewrite Systems ◽

Term Rewrite Systems

Download Full-text

Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems

Information and Computation ◽

10.1016/0890-5401(90)90015-a ◽

1990 ◽

Vol 88 (2) ◽

pp. 187-201 ◽

Cited By ~ 36

Author(s):

Max Dauchet ◽

Thierry Heuillard ◽

Pierre Lescanne ◽

Sophie Tison

Keyword(s):

Ground Term ◽

Rewrite Systems ◽

Term Rewrite Systems

Download Full-text

The confluence of ground term rewrite systems is decidable in polynomial time

Proceedings 42nd IEEE Symposium on Foundations of Computer Science ◽

10.1109/sfcs.2001.959904 ◽

2001 ◽

Cited By ~ 7

Author(s):

H. Comon ◽

G. Godoy ◽

R. Nieuwenhuis

Keyword(s):

Polynomial Time ◽

Ground Term ◽

Rewrite Systems ◽

Term Rewrite Systems

Download Full-text

Deterministic bottom-up tree transducers and ground term rewrite systems

Theoretical Computer Science ◽

10.1016/j.tcs.2009.02.040 ◽

2009 ◽

Vol 410 (21-23) ◽

pp. 2250-2278

Author(s):

Sándor Vágvölgyi

Keyword(s):

Ground Term ◽

Bottom Up ◽

Rewrite Systems ◽

Term Rewrite Systems ◽

Tree Transducers

Download Full-text

Confluence of Conditional Term Rewrite Systems via Transformations

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.235.3 ◽

2017 ◽

Vol 235 ◽

pp. 32-45

Author(s):

Karl Gmeiner

Keyword(s):

Rewrite Systems ◽

Term Rewrite Systems ◽

Conditional Term

Download Full-text

Automated Amortised Resource Analysis for Term Rewrite Systems

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90686-7_14 ◽

2018 ◽

pp. 214-229 ◽

Cited By ~ 1

Author(s):

Georg Moser ◽

Manuel Schneckenreither

Keyword(s):

Resource Analysis ◽

Rewrite Systems ◽

Term Rewrite Systems

Download Full-text

Modular termination of prefix-constrained term rewrite systems

Information Processing Letters ◽

10.1016/j.ipl.2021.106207 ◽

2022 ◽

Vol 174 ◽

pp. 106207

Author(s):

Nirina Andrianarivelo ◽

Pierre Réty

Keyword(s):

Rewrite Systems ◽

Term Rewrite Systems

Download Full-text

On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22531-4_9 ◽

2011 ◽

pp. 138-155 ◽

Cited By ~ 6

Author(s):

Tsubasa Sakata ◽

Naoki Nishida ◽

Toshiki Sakabe

Keyword(s):

Dependency Graphs ◽

Rewrite Systems ◽

Term Rewrite Systems

Download Full-text

Term rewrite systems and varieties of lattices

Mathematical Surveys and Monographs - Free Lattices ◽

10.1090/surv/042/12 ◽

1995 ◽

pp. 255-277

Author(s):

Ralph Freese ◽

Jaroslav Jezek ◽

J. Nation

Keyword(s):

Rewrite Systems ◽

Varieties Of Lattices ◽

Term Rewrite Systems

Download Full-text