On finite representations of infinite sequences of terms
From MaRDI portal
Publication:5881270
DOI10.1007/3-540-54317-1_83OpenAlexW1494077623MaRDI QIDQ5881270
Jieh Hsiang, Unnamed Author, Hong Chen
Publication date: 9 March 2023
Published in: Conditional and Typed Rewriting Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-54317-1_83
Related Items
A strategy to deal with divergent rewrite systems ⋮ On the non-termination of MDG-based abstract state enumeration ⋮ Solving divergence in Knuth--Bendix completion by enriching signatures ⋮ Primal grammars and unification modulo a binary clause ⋮ Higher order unification via explicit substitutions
Cites Work
- Orderings for term-rewriting systems
- Schematization of infinite sets of rewrite rules generated by divergent completion processes
- The theory of well-quasi-ordering: a frequently discovered concept
- Inductive proofs by specification transformations
- Chain properties of rule closures
- Meta-rule synthesis from crossed rewrite systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
