A sufficient condition for the termination of the direct sum of term rewriting systems / Aart MiddeldorpModular aspects of properties of term rewriting systems related to normal forms / Aart MiddeldorpConfluence of the disjoint union of conditional term rewriting systems / A. MiddeldorpUnique normal forms for disjoint unions of conditional term rewriting systems / A. MiddeldorpModular properties of term rewriting systems / Aart MiddeldorpCompleteness of combinations of constructor systems / A. Middeldorp, Y. ToyamaModular properties of conditional term rewriting systems / A. MiddeldorpCounterexamples to completeness results for basic narrowing / A. Middeldorp, E. HamoenA rewrite approach to polynomial ideal theory / A. Middeldorp, M. StarčevićCounterexamples to completeness results for basic narrowing / A. Middeldorp, E. HamoenSimple termination revisited / A. Middeldorp and H. ZantemaTransforming termination by self-labelling / A. Middeldorp, H. Ohsaki and H. ZantemaTerminatin of disjoint unions of conditional term rewriting systems / A. MiddeldorpSpecification of a sliding window protocol within the framework of process algebra / by Aart Middelkoop
author
Strongly sequential term rewriting systems / Jan Willem Klop, Aart MiddeldorpStrongly sequential term rewriting systems / J.W. Klop, A. MiddeldorpAn introduction to Knuth-Bendix completion / J.W. Klop, A. MiddeldorpTermherschrijfsystemen / J.A. Bergstra, J.W. Klop, A. MiddeldorpSequentiality in orthogonal term rewriting systems / J.W. Klop, A. Middeldorp