Publication:4254556
From MaRDI portal
zbMath0929.03017MaRDI QIDQ4254556
Publication date: 23 September 1999
Full work available at URL: https://eudml.org/doc/48315
notation theory; Bourbaki type general mathematical theory; classical mathematical theory; system of contracting symbols
03B30: Foundations of classical theories (including reverse mathematics)
Related Items
On the longest perpetual reductions in orthogonal expression reduction systems, Perpetuality and uniform normalization in orthogonal rewrite systems, On some classes of negligible subsets of the Euclidean plane