×

zbMATH — the first resource for mathematics

Szabo, Manfred Egon

Compute Distance To:
Author ID: szabo.manfred-egon Recent zbMATH articles by "Szabo, Manfred Egon"
Published as: Szabo, M. E.; Szabo, Manfred Egon; Szabo, Manfred E.; Szabó, M. E.
Documents Indexed: 27 Publications since 1969, including 2 Books

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 141 times in 120 Documents Cited by Year
The collected papers of Gerhard Gentzen. Zbl 0209.30001
Szabo, M. E.
73
1969
Polycategories. Zbl 0353.18008
Szabo, M. E.
19
1975
Algebra of proofs. Zbl 0532.03030
Szabo, M. E.
13
1978
A categorical equivalence of proofs. Zbl 0275.02033
Szabo, Manfred E.
7
1974
Towards a nonstandard analysis of programs. Zbl 0507.03030
Richter, M. M.; Szabo, M. E.
6
1983
Nonstandard computation theory. Zbl 0606.03020
Richter, M. M.; Szabó, M. E.
4
1986
A counter-example to coherence in Cartesian closed categories. Zbl 0332.18006
Szabo, M. E.
4
1975
A cut elimination theorem for stationary logic. Zbl 0633.03051
Szabo, M. E.
2
1987
Monadic properties of uniformities. Zbl 0531.54034
Coyle, D. G.; Szabo, M. E.
2
1983
The continuous realizability of entailment. Zbl 0538.03019
Szabo, M. E.
2
1983
A categorical characterization of Boolean algebras. Zbl 0298.06017
Szabo, M. E.
2
1974
A sequent calculus for Kröger logic. Zbl 0541.68011
Szabo, M. E.
1
1983
“On the plausibility of nonstandard proofs in analysis”. Zbl 0556.03048
Farkas, E. J.; Szabo, M. E.
1
1984
A probabilistic analysis of loop programs. Zbl 0677.68010
Szabo, M. E.; Farkas, E. J.
1
1989
The logic of closed categories. Zbl 0258.02038
Szabo, Manfred E.
1
1977
On the tracking of loops in automated deductions. Zbl 0850.68299
Szabo, M. E.
1
1991
On the programs-as-formulas interpretation of parallel programs in Peano arithmetic. Zbl 0641.68022
Farkas, E. J.; Szabo, M. E.
1
1988
Nonstandard methods in combinatorics and theoretical computer science. Zbl 0669.03040
Richter, M. M.; Szabo, M. E.
1
1989
On the tracking of loops in automated deductions. Zbl 0850.68299
Szabo, M. E.
1
1991
A probabilistic analysis of loop programs. Zbl 0677.68010
Szabo, M. E.; Farkas, E. J.
1
1989
Nonstandard methods in combinatorics and theoretical computer science. Zbl 0669.03040
Richter, M. M.; Szabo, M. E.
1
1989
On the programs-as-formulas interpretation of parallel programs in Peano arithmetic. Zbl 0641.68022
Farkas, E. J.; Szabo, M. E.
1
1988
A cut elimination theorem for stationary logic. Zbl 0633.03051
Szabo, M. E.
2
1987
Nonstandard computation theory. Zbl 0606.03020
Richter, M. M.; Szabó, M. E.
4
1986
“On the plausibility of nonstandard proofs in analysis”. Zbl 0556.03048
Farkas, E. J.; Szabo, M. E.
1
1984
Towards a nonstandard analysis of programs. Zbl 0507.03030
Richter, M. M.; Szabo, M. E.
6
1983
Monadic properties of uniformities. Zbl 0531.54034
Coyle, D. G.; Szabo, M. E.
2
1983
The continuous realizability of entailment. Zbl 0538.03019
Szabo, M. E.
2
1983
A sequent calculus for Kröger logic. Zbl 0541.68011
Szabo, M. E.
1
1983
Algebra of proofs. Zbl 0532.03030
Szabo, M. E.
13
1978
The logic of closed categories. Zbl 0258.02038
Szabo, Manfred E.
1
1977
Polycategories. Zbl 0353.18008
Szabo, M. E.
19
1975
A counter-example to coherence in Cartesian closed categories. Zbl 0332.18006
Szabo, M. E.
4
1975
A categorical equivalence of proofs. Zbl 0275.02033
Szabo, Manfred E.
7
1974
A categorical characterization of Boolean algebras. Zbl 0298.06017
Szabo, M. E.
2
1974
The collected papers of Gerhard Gentzen. Zbl 0209.30001
Szabo, M. E.
73
1969
all top 5

Cited by 148 Authors

6 Szabo, Manfred Egon
4 Hyland, J. Martin E.
4 Sain, Ildikó
3 Blute, Richard F.
3 Boričić, Branislav R.
3 D’Agostino, Marcello
3 de Araujo Feitosa, Hércules
3 Došen, Kosta
3 D’Ottaviano, Itala M. Loffredo
3 Petrić, Zoran
2 Cockett, J. Robin B.
2 Crossley, John Newsome
2 Farkas, E. J.
2 Fulop, Sean A.
2 Gabbay, Dov M.
2 Gilmore, Paul C.
2 Kanckos, Annika
2 Komori, Yuichi
2 Masseron, Marcel
2 Mints, Grigoriĭ Efroimovich
2 Pasztor, Ana
2 Read, Stephen
2 Seely, Robert A. G.
2 Solov’ëv, Sergeĭ Vladimirovich
2 Straßburger, Lutz
2 Tsiknis, George K.
1 Adams, Andrew A.
1 Akiyoshi, Ryota
1 Albrecht, David W.
1 Andréka, Hajnal
1 Asadollahi, Pooyan
1 Back, Ralph-Johan
1 Bellin, Gianluigi
1 Bellotti, Luca
1 Belnap, Nuel D. jun.
1 Besnard, Philippe
1 Bimbó, Katalin
1 Blanqui, Frédéric
1 Boričić, Marija
1 Borisavljević, Mirjana
1 Brink, Chris
1 Bundy, Alan
1 Cardone, Felice
1 Ciabattoni, Agata
1 Coecke, Bob
1 Crolard, Tristan
1 Danos, Vincent
1 de Barros Santos, Jefferson
1 de Paiva, Valeria
1 De Queiroz, Ruy José Guerra Barretto
1 de’Liguoro, Ugo
1 Despeyroux, Joëlle
1 Dezani-Ciancaglini, Mariangiola
1 Dicher, Bogdan
1 Dunfield, Joshua
1 Egly, Uwe
1 Feferman, Solomon
1 Finger, Marcelo
1 Fleischer, Rudolf
1 Floridi, Luciano
1 Franks, Curtis
1 Fujita, Ken-etsu
1 Gabbay, Michael J.
1 Garner, Richard
1 Goldblatt, Robert Ian
1 Grefenstette, Edward
1 Grundy, Jim
1 Guglielmi, Alessio
1 Hackney, Philip
1 Haeusler, Edward Hermann
1 Hagiya, Masami
1 Hämeen-Anttila, Maria
1 Hermant, Olivier
1 Heunen, Chris
1 Hintikka, Jaakko
1 Imamura, Takuma
1 Indrzejczak, Andrzej
1 Ireland, Andrew
1 Ivanov, Ivan T.
1 Jacinto, Bruno
1 Jay, C. Barry
1 Jeavons, John S.
1 Kamide, Norihiro
1 Karvonen, Martti
1 Kashima, Ryo
1 Kister, Jane Elizabeth
1 Kock, Joachim
1 Koslowski, Jürgen
1 Lafont, Yves
1 Lamarche, François
1 Lambek, Joachim
1 Leblanc, Hugues
1 Lescanne, Pierre
1 Lopes Vieira, Bruno
1 Makowsky, Johann-Andreas
1 Markl, Martin
1 Matsuda, Naosuke
1 McBeth, Muhammad Ali
1 McBeth, Rod
1 McRobbie, Michael A.
...and 48 more Authors

Citations by Year