On the union of well-founded relations
From MaRDI portal
Publication:4383698
DOI10.1093/jigpal/6.2.195zbMath0892.68050MaRDI QIDQ4383698
Henk Doornbos, Burghard von Karger
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
Finding small counterexamples for abstract rewriting properties, 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