Semantics for logic programs without occur check von Weijland, W.P.

Volltext

Term-rewriting systems with rule priorities von Baeten, J.C.M., Bergstra, J.A., Klop, J.W., Weijland, W.P.

Volltext

Term rewriting systems with rule priorities von Bergstra, J.A, Baeten, J.C.M, Klop, J.W, Weijland, W.P

Volltext