×

zbMATH — the first resource for mathematics

Berger, Ulrich

Compute Distance To:
Author ID: berger.ulrich Recent zbMATH articles by "Berger, Ulrich"
Published as: Berger, U.; Berger, Ulrich
Homepage: http://www.cs.swan.ac.uk/~csulrich/
External Links: MGP
Documents Indexed: 67 Publications since 1990, including 10 Books

Publications by Year

Citations contained in zbMATH

42 Publications have been cited 199 times in 125 Documents Cited by Year
Total sets and objects in domain theory. Zbl 0776.03031
Berger, Ulrich
20
1993
Refined program extraction from classical proofs. Zbl 0992.03070
Berger, Ulrich; Buchholz, Wilfried; Schwichtenberg, Helmut
13
2002
Proof theory at work: Program development in the minlog system. Zbl 1015.68177
Benl, Holger; Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika; Zuber, Wolfgang
12
1998
Program extraction from normalization proofs. Zbl 0788.68015
Berger, Ulrich
11
1993
Modified bar recursion. Zbl 1101.03032
Berger, Ulrich; Oliva, Paulo
10
2006
Uniform Heyting arithmetic. Zbl 1081.03057
Berger, Ulrich
10
2005
Term rewriting for normalization by evaluation. Zbl 1054.68078
Berger, Ulrich; Eberl, Matthias; Schwichtenberg, Helmut
10
2003
Modified bar recursion and classical dependent choice. Zbl 1081.03059
Berger, Ulrich; Oliva, Paulo
8
2005
The Warshall algorithm and Dickson’s lemma: Two examples of realistic program extraction. Zbl 0958.03009
Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika
8
2001
Totale Objekte und Mengen in der Bereichstheorie. (Total objects and sets in domain theory). Zbl 0733.03037
Berger, Ulrich
7
1990
From coinductive proofs to exact real arithmetic: theory and applications. Zbl 1218.03036
Berger, Ulrich
6
2011
From coinductive proofs to exact real arithmetic. Zbl 1218.03035
Berger, Ulrich
6
2009
Program extraction from normalization proofs. Zbl 1095.03016
Berger, Ulrich; Berghofer, Stefan; Letouzey, Pierre; Schwichtenberg, Helmut
6
2006
Reuniting the antipodes—constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16–22, 1999. Zbl 0982.00037
Schuster, Peter (ed.); Berger, Ulrich (ed.); Osswald, Horst (ed.)
6
2001
Minlog – a tool for program extraction supporting algebras and coalgebras. Zbl 1344.68201
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Seisenberger, Monika
5
2011
Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074
Berger, Ulrich
5
2010
On the stability of cooperation under indirect reciprocity with first-order information. Zbl 1394.91037
Berger, Ulrich; Grüne, Ansgar
4
2016
Proofs, programs, processes. Zbl 1280.68078
Berger, Ulrich; Seisenberger, Monika
4
2012
Proofs, programs, processes. Zbl 1280.68077
Berger, Ulrich; Seisenberger, Monika
4
2010
Coinduction for exact real number computation. Zbl 1166.68015
Berger, Ulrich; Hou, Tie
4
2008
Continuous semantics for strong normalization. Zbl 1113.68418
Berger, Ulrich
4
2005
An arithmetic for non-size-increasing polynomial-time computation. Zbl 1064.03036
Aehlig, Klaus; Berger, Ulrich; Hofmann, Martin; Schwichtenberg, Helmut
4
2004
Logic for Gray-code computation. Zbl 1433.03120
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Tsuiki, Hideki
3
2016
Strong normalization for applied lambda calculi. Zbl 1125.03014
Berger, Ulrich
3
2005
Computability and totality in domains. Zbl 1005.68040
Berger, Ulrich
3
2002
Program development by proof transformation. Zbl 0856.03010
Berger, Ulrich; Schwichtenberg, Helmut
3
1995
Optimized program extraction for induction and coinduction. Zbl 06932459
Berger, Ulrich; Petrovska, Olga
2
2018
Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Zbl 1102.68002
Beckmann, Arnold (ed.); Berger, Ulrich (ed.); Löwe, Benedikt (ed.); Tucker, John V. (ed.)
2
2006
Applications of inductive definitions and choice principles to program synthesis. Zbl 1096.03068
Berger, Ulrich; Seisenberger, Monika
2
2005
Density theorems for the domains-with-totality semantics of dependent types. Zbl 0933.03078
Berger, Ulrich
2
1999
Undecidability of equality for codata types. Zbl 06962931
Berger, Ulrich; Setzer, Anton
1
2018
Extracting non-deterministic concurrent programs. Zbl 1369.68128
Berger, Ulrich
1
2016
A coinductive approach to computing with compact sets. Zbl 1396.03085
Berger, Ulrich; Spreen, Dieter
1
2016
Extracting verified decision procedures: DPLL and resolution. Zbl 1448.68454
Berger, Ulrich; Lawrence, Andrew; Forsberg, Fredrik Nordvall; Seisenberger, Monika
1
2015
Extracting imperative programs from proofs: In-place Quicksort. Zbl 1359.68042
Berger, Ulrich; Seisenberger, Monika; Woods, Gregory J. M.
1
2014
Typed vs. untyped realizability. Zbl 1342.68047
Berger, Ulrich; Hou, Tie
1
2012
Program extraction via typed realisability for induction and coinduction. Zbl 1244.03107
Berger, Ulrich; Seisenberger, Monika
1
2010
A domain model characterising strong normalisation. Zbl 1153.03006
Berger, Ulrich
1
2008
Continuous semantics for strong normalisation. Zbl 1115.03008
Berger, Ulrich
1
2006
Minimisation vs. recursion on the partial continuous functionals. Zbl 1023.03041
Berger, Ulrich
1
2002
Continuous functionals of dependent and transfinite types. Zbl 0946.03068
Berger, Ulrich
1
1999
The greatest common divisor: a case study for program extraction from classical proofs. Zbl 1434.03024
Berger, U.; Schwichtenberg, H.
1
1996
Optimized program extraction for induction and coinduction. Zbl 06932459
Berger, Ulrich; Petrovska, Olga
2
2018
Undecidability of equality for codata types. Zbl 06962931
Berger, Ulrich; Setzer, Anton
1
2018
On the stability of cooperation under indirect reciprocity with first-order information. Zbl 1394.91037
Berger, Ulrich; Grüne, Ansgar
4
2016
Logic for Gray-code computation. Zbl 1433.03120
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Tsuiki, Hideki
3
2016
Extracting non-deterministic concurrent programs. Zbl 1369.68128
Berger, Ulrich
1
2016
A coinductive approach to computing with compact sets. Zbl 1396.03085
Berger, Ulrich; Spreen, Dieter
1
2016
Extracting verified decision procedures: DPLL and resolution. Zbl 1448.68454
Berger, Ulrich; Lawrence, Andrew; Forsberg, Fredrik Nordvall; Seisenberger, Monika
1
2015
Extracting imperative programs from proofs: In-place Quicksort. Zbl 1359.68042
Berger, Ulrich; Seisenberger, Monika; Woods, Gregory J. M.
1
2014
Proofs, programs, processes. Zbl 1280.68078
Berger, Ulrich; Seisenberger, Monika
4
2012
Typed vs. untyped realizability. Zbl 1342.68047
Berger, Ulrich; Hou, Tie
1
2012
From coinductive proofs to exact real arithmetic: theory and applications. Zbl 1218.03036
Berger, Ulrich
6
2011
Minlog – a tool for program extraction supporting algebras and coalgebras. Zbl 1344.68201
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Seisenberger, Monika
5
2011
Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074
Berger, Ulrich
5
2010
Proofs, programs, processes. Zbl 1280.68077
Berger, Ulrich; Seisenberger, Monika
4
2010
Program extraction via typed realisability for induction and coinduction. Zbl 1244.03107
Berger, Ulrich; Seisenberger, Monika
1
2010
From coinductive proofs to exact real arithmetic. Zbl 1218.03035
Berger, Ulrich
6
2009
Coinduction for exact real number computation. Zbl 1166.68015
Berger, Ulrich; Hou, Tie
4
2008
A domain model characterising strong normalisation. Zbl 1153.03006
Berger, Ulrich
1
2008
Modified bar recursion. Zbl 1101.03032
Berger, Ulrich; Oliva, Paulo
10
2006
Program extraction from normalization proofs. Zbl 1095.03016
Berger, Ulrich; Berghofer, Stefan; Letouzey, Pierre; Schwichtenberg, Helmut
6
2006
Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Zbl 1102.68002
Beckmann, Arnold (ed.); Berger, Ulrich (ed.); Löwe, Benedikt (ed.); Tucker, John V. (ed.)
2
2006
Continuous semantics for strong normalisation. Zbl 1115.03008
Berger, Ulrich
1
2006
Uniform Heyting arithmetic. Zbl 1081.03057
Berger, Ulrich
10
2005
Modified bar recursion and classical dependent choice. Zbl 1081.03059
Berger, Ulrich; Oliva, Paulo
8
2005
Continuous semantics for strong normalization. Zbl 1113.68418
Berger, Ulrich
4
2005
Strong normalization for applied lambda calculi. Zbl 1125.03014
Berger, Ulrich
3
2005
Applications of inductive definitions and choice principles to program synthesis. Zbl 1096.03068
Berger, Ulrich; Seisenberger, Monika
2
2005
An arithmetic for non-size-increasing polynomial-time computation. Zbl 1064.03036
Aehlig, Klaus; Berger, Ulrich; Hofmann, Martin; Schwichtenberg, Helmut
4
2004
Term rewriting for normalization by evaluation. Zbl 1054.68078
Berger, Ulrich; Eberl, Matthias; Schwichtenberg, Helmut
10
2003
Refined program extraction from classical proofs. Zbl 0992.03070
Berger, Ulrich; Buchholz, Wilfried; Schwichtenberg, Helmut
13
2002
Computability and totality in domains. Zbl 1005.68040
Berger, Ulrich
3
2002
Minimisation vs. recursion on the partial continuous functionals. Zbl 1023.03041
Berger, Ulrich
1
2002
The Warshall algorithm and Dickson’s lemma: Two examples of realistic program extraction. Zbl 0958.03009
Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika
8
2001
Reuniting the antipodes—constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16–22, 1999. Zbl 0982.00037
Schuster, Peter (ed.); Berger, Ulrich (ed.); Osswald, Horst (ed.)
6
2001
Density theorems for the domains-with-totality semantics of dependent types. Zbl 0933.03078
Berger, Ulrich
2
1999
Continuous functionals of dependent and transfinite types. Zbl 0946.03068
Berger, Ulrich
1
1999
Proof theory at work: Program development in the minlog system. Zbl 1015.68177
Benl, Holger; Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika; Zuber, Wolfgang
12
1998
The greatest common divisor: a case study for program extraction from classical proofs. Zbl 1434.03024
Berger, U.; Schwichtenberg, H.
1
1996
Program development by proof transformation. Zbl 0856.03010
Berger, Ulrich; Schwichtenberg, Helmut
3
1995
Total sets and objects in domain theory. Zbl 0776.03031
Berger, Ulrich
20
1993
Program extraction from normalization proofs. Zbl 0788.68015
Berger, Ulrich
11
1993
Totale Objekte und Mengen in der Bereichstheorie. (Total objects and sets in domain theory). Zbl 0733.03037
Berger, Ulrich
7
1990
all top 5

Cited by 128 Authors

15 Berger, Ulrich
10 Schwichtenberg, Helmut
7 Hötzel Escardó, Martín
6 Oliva, Paulo
5 Sanders, Sam
4 Aehlig, Klaus
4 Blanck, Jens
4 Hernest, Mircea-Dan
4 Powell, Thomas M.
4 Seisenberger, Monika
4 Stoltenberg-Hansen, Viggo
3 Avigad, Jeremy
3 Bauer, Andrej
3 Normann, Dag
3 Schuster, Peter Michael
3 Spreen, Dieter
2 Abel, Andreas M.
2 Bickford, Mark
2 Capretta, Venanzio
2 Dybjer, Peter
2 Haftmann, Florian
2 Hou, Tie
2 Japaridze, Giorgi
2 Katz, Mikhail G.
2 Korovina, Margarita Vladimirovna
2 Kudinov, Oleg Victorovich
2 Longley, John R.
2 Moczydłowski, Wojciech
2 Nipkow, Tobias
2 Spitters, Bas
2 Trifonov, Trifon A.
2 Tsuiki, Hideki
2 Tucker, John V.
1 Aiguier, Marc
1 Alger, Ingela
1 Allais, Guillaume
1 Artemov, Sergei
1 Aschieri, Federico
1 Benci, Vieri
1 Berghofer, Stefan
1 Biernacka, Małgorzata
1 Biernacki, Dariusz
1 Birkedal, Lars
1 Blanqui, Frédéric
1 Briseid, Eyvind Martol
1 Buchholz, Wilfried
1 Burel, Guillaume
1 Chen, Yixiang
1 Constable, Robert Lee
1 Crolard, Tristan
1 Di Nasso, Mauro
1 Eberl, Matthias
1 Fernández, Maribel
1 Gaspar, Jaime
1 Gaudeul, Alexia
1 Ghang, Whan
1 Hameer, Aliya
1 Herzberg, Frederik S.
1 Ho, Weng Kin
1 Hofmann, Martin
1 Howarth, Elizabeth
1 Ilik, Danko
1 Jung, Achim
1 Kahle, Reinhard
1 Karádais, Basil A.
1 Katz, Boris
1 Katz, Karin Usadi
1 Kavkler, Iztok
1 Keser, Claudia
1 Kohlenbach, Ulrich Wilhelm
1 Koprowski, Adam
1 Krebbers, Robbert
1 Kristiansen, Lars
1 Kristiansen, Lill
1 Krivine, Jean-Louis
1 Kudryk, Taras S.
1 Kuperberg, Denis
1 Latkin, E. I.
1 Lawrence, Andrew
1 Leitsch, Alexander
1 Letouzey, Pierre
1 Liefke, Kristina
1 Loader, Ralph
1 Lolic, Anela
1 Longuet, Delphine
1 Matsumoto, Kei
1 Mender, Bedeho Mesghina Wolde
1 Miller, Dale Allen
1 Miyamoto, Kenji
1 Momigliano, Alberto
1 Moshier, M. Andrew
1 Müller, Stephan
1 Niggl, Karl-Heinz
1 Nowak, Martin Andreas
1 O’Connor, Russell
1 Okada, Isamu
1 Olejarz, Jason W.
1 Omodeo, Eugenio Giovanni
1 Palmgren, Erik
1 Paris, Jeffrey Bruce
...and 28 more Authors

Citations by Year