Strong sequentiality of left-linear overlapping term rewriting systems von Toyama, Yoshihito

Strong sequentiality of left linear overlapping term rewriting systems von Toyama, Yoshihito

Termination for direct sums of left linear complete term rewriting systems von Toyama, Yoshihito

T, a simple reduction language based on combinatory term rewriting von Ida, Tetsuo, Toyama, Yoshihito, Aiba, Akira

Completeness of combinations of constructor systems von Middeldorp, Aart 1963-, Toyama, Yoshihito

kostenfrei

Termination for direct sums of left-linear complete term rewriting systems von Toyama, Yoshihito, Klop, Jan Willem 1945-, Barendregt, Hendrik P. 1947-

Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998

Weitere Verfasser: FHN01
URL des Erstveroeffentlichers