From: "Jens-D. Doll" <jens.doll@live.de> Does this (order) formalization define an algorithm for term reduction(s)? Jens
Last updated: Apr 25 2024 at 20:15 UTC