Reducing Operators for Normed General Formal Systems.

Manfred Kudlek, Miroslav Novotn

Browse the full MFCS paper archive.