Publication | Closed Access
Modularity of simple termination of term rewriting systems with shared constructors
57
Citations
8
References
1992
Year
Simple TerminationSyntaxShared ConstructorsEngineeringRegulated RewritingFormal MethodsComputer ScienceGrammarLanguage StudiesFunctional ProgrammingUnification GrammarRewriting SystemLinguisticsComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1