๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

FINITENESS CONDITIONS FOR REWRITING SYSTEMS

โœ Scribed by MCGLASHAN, STUART; PASKU, ELTON; PRIDE, STEPHEN J.

Book ID
121296976
Publisher
World Scientific Publishing Company
Year
2005
Tongue
English
Weight
577 KB
Volume
15
Category
Article
ISSN
0218-1967

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Finiteness conditions for groups
Finiteness conditions for groups
โœ John G. Ratcliffe ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 764 KB
Reachability in Conditional Term Rewriti
Reachability in Conditional Term Rewriting Systems
โœ Guillaume Feuillade; Thomas Genet ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 844 KB

In this paper, we study the reachability problem for conditional term rewriting systems. Given two ground terms \(s\) and \(t\), our practical aim is to prove \(s ๅŠ›_{\mathcal{R}}^{*} t\) for some join conditional term rewriting system \(\mathcal{R}\) (possibly not terminating and not confluent). The