Böhm Reduction in Infinitary Term Graph Rewriting Systems

Keyphrases

• Graph Rewriting Systems 100%
• Term Graphs 100%
• Order Convergence 50%
• Partial Order 50%
• Calculus 25%
• Lambda Calculus 25%
• Metric Space 25%
• Partial Order Structure 25%
• Graph Rewriting 25%
• Term Rewriting 25%
• Meaningless Term 25%
• Reduction Relation 25%
• Partial Metric 25%
• Compression Properties 25%
• Transfinite 25%
• Ancillary 25%

Mathematics

• Partial Order 100%
• Rewriting Systems 100%
• Calculus 66%
• Main Result 33%
• Metric Space 33%
• Residuals 33%
• Transfinite 33%
• Modes of Convergence 33%