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

Washing system drys parts completely


Book ID
116033194
Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
125 KB
Volume
48
Category
Article
ISSN
0026-0657

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Completion of Rewrite Systems with Membe
โœ H. Comon ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 562 KB

We consider a constrained equational logic where the constraints are membership conditions t โˆˆ s where s is interpreted as a regular tree language. Our logic includes a fragment of second-order equational logic (without projections) where second-order variables range over regular sets of contexts. T