An Axiomatic Approach to Canonical Derivations

Hans-Jörg Kreowski. An Axiomatic Approach to Canonical Derivations. In IFIP Congress (1). pages 348-353, 1994.

Abstract

Abstract is missing.