The following pages link to (Q4037315):
Displaying 5 items.
- On the correctness of modular systems (Q674009) (← links)
- A Term-Graph Syntax for Algebras over Multisets (Q3184730) (← links)
- (Q3785984) (← links)
- Basic Results for Two Types of High-Level Replacement Systems (Q4923535) (← links)
- Canonical derivations for high-level replacement systems (Q5096280) (← links)