On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness

Jan A. Bergstra, John V. Tucker. On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness. Comput. J., 66(7):1565-1572, July 2023. [doi]

Abstract

Abstract is missing.