On the union of well-founded relations
From MaRDI portal
Publication:4383698
DOI10.1093/jigpal/6.2.195zbMath0892.68050MaRDI QIDQ4383698
Burghard von Karger, Henk Doornbos
Publication date: 2 April 1998
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/7e1dcf412c92e12c42f986eb89c0e42527f89ef2
68Q42: Grammars and rewriting systems
Related Items
Remarks on Isomorphisms of Simple Inductive Types, Modal Tools for Separation and Refinement, Abstract abstract reduction, Jumping and escaping: modular termination and the abstract path ordering, An insertion operator preserving infinite reduction sequences, TERMINATION OF ABSTRACT REDUCTION SYSTEMS, On the Relation between Sized-Types Based Termination and Semantic Labelling