transfinite

Transfinite recursive progressions of axiomatic theoriesTransfinite reductions in orthogonal term rewriting systemsTransfinite reductions in orthogonal term rewriting systemsOn better-quasi-ordering transfinite sequencesTransfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract)Transfinite element methods: Blending-function interpolation over arbitrary curved element domainsTransfinite element methods: Blending-function interpolation over arbitrary curved element domainsContributions to the Founding of the Theory of Transfinite NumbersA unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so onTwo addenda: "A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves and so ...