Abstract Modularity (2005)

by Michael Abbott , Neil Ghani , Christoph Lüth
Citations:1 - 0 self

Active Bibliography

4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
11 On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems – Enno Ohlebusch - 1994
27 Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems – Bernhard Gramlich - 1993
3 Bubbles in modularity – Massimo Marchiori - 1995
Modularity of Termination – Bernhard Gramlich, Klaus Györgyfalvay, C Bernhard Gramlich, Klaus Györgyfalvay, A Note, Minimal Counterexamples, Bernhard Gramlich, Klaus Györgyfalvay - 2012
9 A structural analysis of modular termination of term rewriting systems – Bernhard Gramlich - 1991
31 Completeness of Combinations of Constructor Systems – Aart Middeldorp, Yoshihito Toyama - 1993
3 Modular termination of r-consistent and left-linear term rewriting systems – Manfred Schmidt-schauß, Massimo Marchiori, Sven Eric Panitz - 1995
11 Pushing the Frontiers of Combining Rewrite Systems Farther Outwards – Jürgen Giesl, Enno Ohlebusch - 1998
11 On Termination and Confluence Properties of Disjoint and Constructor-Sharing Conditional Rewrite Systems – Bernhard Gramlich - 1996
9 Modular termination of context-sensitive rewriting – Bernhard Gramlich, Salvador Lucas - 2002
12 Completeness of Combinations of Conditional Constructor Systems – Aart Middeldorp - 1994
6 On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems – Bernhard Gramlich - 1994
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
Languages, Theory – Neil Ghani, Tarmo Uustalu
26 Unravelings and Ultra-properties – Massimo Marchiori - 1996
1 Modularity in Many-sorted Term Rewriting Systems – Jaco van de Pol, Van De Pol - 1993
7 Monads and Modularity – Christoph Lüth, Neil Ghani