The following pages link to (Q4698534):
Displaying 6 items.
- Tree algebras and varieties of tree languages (Q884456) (← links)
- Rewriting systems over similarity and generalized pseudometric spaces and their properties (Q1677217) (← links)
- Reductions to simple fusion systems (Q2980182) (← links)
- Guyan reduction (Q3474826) (← links)
- (Q3637722) (← links)
- Automated modular termination proofs for real Prolog programs (Q5030196) (← links)