Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ulrich Berger 0001
@article{DBLP:journals/lmcs/SpreenB23,
author = {Dieter Spreen and
Ulrich Berger},
title = {Computing with Infinite Objects: the Gray Code Case},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/SpreenB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10125,
author = {Ulrich Berger and
Monika Seisenberger and
Dieter Spreen and
Hideki Tsuiki},
title = {Concurrent Gaussian elimination},
journal = {CoRR},
volume = {abs/2305.10125},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.10125},
doi = {10.48550/ARXIV.2305.10125},
eprinttype = {arXiv},
eprint = {2305.10125},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-10125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-12454,
author = {Ulrich Berger and
Hideki Tsuiki},
title = {Extracting total Amb programs from proofs},
journal = {CoRR},
volume = {abs/2307.12454},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.12454},
doi = {10.48550/ARXIV.2307.12454},
eprinttype = {arXiv},
eprint = {2307.12454},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-12454.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BergerT22,
author = {Ulrich Berger and
Hideki Tsuiki},
editor = {Ilya Sergey},
title = {Extracting total Amb programs from proofs},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {85--113},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_4},
doi = {10.1007/978-3-030-99336-8\_4},
timestamp = {Fri, 29 Apr 2022 14:50:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BergerT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2022,
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0},
doi = {10.1007/978-3-031-08740-0},
isbn = {978-3-031-08739-4},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BergerT21,
author = {Ulrich Berger and
Hideki Tsuiki},
title = {Intuitionistic fixed point logic},
journal = {Ann. Pure Appl. Log.},
volume = {172},
number = {3},
pages = {102903},
year = {2021},
url = {https://doi.org/10.1016/j.apal.2020.102903},
doi = {10.1016/J.APAL.2020.102903},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BergerT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14669,
author = {Ulrich Berger and
Hideki Tsuiki},
title = {Extracting total Amb programs from proofs},
journal = {CoRR},
volume = {abs/2104.14669},
year = {2021},
url = {https://arxiv.org/abs/2104.14669},
eprinttype = {arXiv},
eprint = {2104.14669},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14669.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14261,
author = {Dieter Spreen and
Ulrich Berger},
title = {Computing with Infinite Objects: the Gray Code Case},
journal = {CoRR},
volume = {abs/2105.14261},
year = {2021},
url = {https://arxiv.org/abs/2105.14261},
eprinttype = {arXiv},
eprint = {2105.14261},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BergerM20,
author = {Ulrich Berger and
Faron Moller},
title = {Report on {BCTCS} {\&} AlgoUK 2020},
journal = {Bull. {EATCS}},
volume = {131},
year = {2020},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/617},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/BergerM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/0001PT20,
author = {Ulrich Berger and
Olga Petrovska and
Hideki Tsuiki},
editor = {Marcella Anselmo and
Gianluca Della Vedova and
Florin Manea and
Arno Pauly},
title = {Prawf: An Interactive Proof System for Program Extraction},
booktitle = {Beyond the Horizon of Computability - 16th Conference on Computability
in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12098},
pages = {137--148},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51466-2\_12},
doi = {10.1007/978-3-030-51466-2\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/0001PT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-00188,
author = {Ulrich Berger and
Hideki Tsuiki},
title = {Intuitionistic Fixed Point Logic},
journal = {CoRR},
volume = {abs/2002.00188},
year = {2020},
url = {https://arxiv.org/abs/2002.00188},
eprinttype = {arXiv},
eprint = {2002.00188},
timestamp = {Mon, 10 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-00188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BergerJS19,
author = {Ulrich Berger and
Alison Jones and
Monika Seisenberger},
title = {Program extraction applied to monadic parsing},
journal = {J. Log. Comput.},
volume = {29},
number = {4},
pages = {487--518},
year = {2019},
url = {https://doi.org/10.1093/logcom/exv078},
doi = {10.1093/LOGCOM/EXV078},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BergerJS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BergerJLRS18,
author = {Ulrich Berger and
Phillip James and
Andrew Lawrence and
Markus Roggenbach and
Monika Seisenberger},
title = {Verification of the European Rail Traffic Management System in Real-Time
Maude},
journal = {Sci. Comput. Program.},
volume = {154},
pages = {61--88},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.10.011},
doi = {10.1016/J.SCICO.2017.10.011},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BergerJLRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BergerP18,
author = {Ulrich Berger and
Olga Petrovska},
editor = {Florin Manea and
Russell G. Miller and
Dirk Nowotka},
title = {Optimized Program Extraction for Induction and Coinduction},
booktitle = {Sailing Routes in the World of Computation - 14th Conference on Computability
in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10936},
pages = {70--80},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94418-0\_7},
doi = {10.1007/978-3-319-94418-0\_7},
timestamp = {Wed, 16 Nov 2022 11:08:36 +0100},
biburl = {https://dblp.org/rec/conf/cie/BergerP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/0001S18,
author = {Ulrich Berger and
Anton Setzer},
editor = {Corina C{\^{\i}}rstea},
title = {Undecidability of Equality for Codata Types},
booktitle = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
Greece, April 14-15, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11202},
pages = {34--55},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00389-0\_4},
doi = {10.1007/978-3-030-00389-0\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/0001S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/0001MS18,
author = {Ulrich Berger and
Ralph Matthes and
Anton Setzer},
editor = {Peter Dybjer and
Jos{\'{e}} Esp{\'{\i}}rito Santo and
Lu{\'{\i}}s Pinto},
title = {Martin Hofmann's Case for Non-Strictly Positive Data Types},
booktitle = {24th International Conference on Types for Proofs and Programs, {TYPES}
2018, June 18-21, 2018, Braga, Portugal},
series = {LIPIcs},
volume = {130},
pages = {1:1--1:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2018.1},
doi = {10.4230/LIPICS.TYPES.2018.1},
timestamp = {Fri, 17 Jul 2020 11:39:06 +0200},
biburl = {https://dblp.org/rec/conf/types/0001MS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BauerBFSTZ17,
author = {Andrej Bauer and
Ulrich Berger and
Willem L. Fouch{\'{e}} and
Dieter Spreen and
Hideki Tsuiki and
Martin Ziegler},
title = {Continuity, computability, constructivity: from logic to algorithms
2014 (Preface to the special issue: Continuity, Computability, Constructivity:
From Logic to Algorithms 2014)},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/306/118},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BauerBFSTZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergerH17,
author = {Ulrich Berger and
Tie Hou},
title = {A realizability interpretation of Church's simple theory of types},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {8},
pages = {1364--1385},
year = {2017},
url = {https://doi.org/10.1017/S0960129516000104},
doi = {10.1017/S0960129516000104},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BergerH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BergerS16,
author = {Ulrich Berger and
Dieter Spreen},
title = {A coinductive approach to computing with compact sets},
journal = {J. Log. Anal.},
volume = {8},
year = {2016},
url = {http://logicandanalysis.org/index.php/jla/article/view/263/111},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BergerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Berger16,
author = {Ulrich Berger},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {Extracting Non-Deterministic Concurrent Programs},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {26:1--26:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.26},
doi = {10.4230/LIPICS.CSL.2016.26},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/Berger16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergerLFS15,
author = {Ulrich Berger and
Andrew Lawrence and
Fredrik Nordvall Forsberg and
Monika Seisenberger},
title = {Extracting verified decision procedures: {DPLL} and Resolution},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {1},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(1:6)2015},
doi = {10.2168/LMCS-11(1:6)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BergerLFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergerBEK15,
author = {Ulrich Berger and
Jens Blanck and
Mart{\'{\i}}n Escard{\'{o}} and
Klaus Keimel},
title = {Preface},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {107},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.11.003},
doi = {10.1016/J.JLAMP.2014.11.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BergerBEK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergerBSST15,
author = {Ulrich Berger and
Vasco Brattka and
Victor L. Selivanov and
Dieter Spreen and
Hideki Tsuiki},
title = {Preface to the special issue: Computing with infinite data: topological
and logical foundations},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {7},
pages = {1463--1465},
year = {2015},
url = {https://doi.org/10.1017/S0960129513000364},
doi = {10.1017/S0960129513000364},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BergerBSST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001S15c,
author = {Ulrich Berger and
Dieter Spreen},
title = {A Coinductive Approach to Computing with Compact Sets},
journal = {CoRR},
volume = {abs/1510.08498},
year = {2015},
url = {http://arxiv.org/abs/1510.08498},
eprinttype = {arXiv},
eprint = {1510.08498},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001S15c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BergerH14,
author = {Ulrich Berger and
Tie Hou},
editor = {Arnold Beckmann and
Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Klaus Meer},
title = {Uniform Schemata for Proof Rules},
booktitle = {Language, Life, Limits - 10th Conference on Computability in Europe,
CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8493},
pages = {53--62},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08019-2\_6},
doi = {10.1007/978-3-319-08019-2\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/BergerH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BakelBB13,
author = {Steffen van Bakel and
Stefano Berardi and
Ulrich Berger},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {6},
pages = {589--590},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2012.05.001},
doi = {10.1016/J.APAL.2012.05.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BakelBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BergerSW13,
author = {Ulrich Berger and
Monika Seisenberger and
Gregory J. M. Woods},
editor = {Ralph Matthes and
Aleksy Schubert},
title = {Extracting Imperative Programs from Proofs: In-place Quicksort},
booktitle = {19th International Conference on Types for Proofs and Programs, {TYPES}
2013, April 22-26, 2013, Toulouse, France},
series = {LIPIcs},
volume = {26},
pages = {84--106},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2013.84},
doi = {10.4230/LIPICS.TYPES.2013.84},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/types/BergerSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BergerBMS12,
author = {Ulrich Berger and
Vasco Brattka and
Andrei S. Morozov and
Dieter Spreen},
title = {Foreword},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {8},
pages = {973--974},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.12.019},
doi = {10.1016/J.APAL.2011.12.019},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BergerBMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergerS12,
author = {Ulrich Berger and
Monika Seisenberger},
title = {Proofs, Programs, Processes},
journal = {Theory Comput. Syst.},
volume = {51},
number = {3},
pages = {313--329},
year = {2012},
url = {https://doi.org/10.1007/s00224-011-9325-8},
doi = {10.1007/S00224-011-9325-8},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BergerS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BergerM12,
author = {Ulrich Berger and
Michael W. Mislove},
editor = {Ulrich Berger and
Michael W. Mislove},
title = {Preface},
booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {1--2},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.08.001},
doi = {10.1016/J.ENTCS.2012.08.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BergerM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BergerH12,
author = {Ulrich Berger and
Tie Hou},
editor = {Ulrich Berger and
Michael W. Mislove},
title = {Typed vs. Untyped Realizability},
booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {57--71},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.08.005},
doi = {10.1016/J.ENTCS.2012.08.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BergerH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LawrenceBS12,
author = {Andrew Lawrence and
Ulrich Berger and
Monika Seisenberger},
editor = {Ulrich Berger and
Michael W. Mislove},
title = {Extracting a {DPLL} Algorithm},
booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {243--256},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.08.016},
doi = {10.1016/J.ENTCS.2012.08.016},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LawrenceBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2012,
editor = {Ulrich Berger and
Michael W. Mislove},
title = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
publisher = {Elsevier},
year = {2012},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/286/suppl/C},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-2162,
author = {Ulrich Berger},
title = {From coinductive proofs to exact real arithmetic: theory and applications},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:8)2011},
doi = {10.2168/LMCS-7(1:8)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-2162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BergerMSS11,
author = {Ulrich Berger and
Kenji Miyamoto and
Helmut Schwichtenberg and
Monika Seisenberger},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Minlog - {A} Tool for Program Extraction Supporting Algebras and Coalgebras},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {393--399},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_29},
doi = {10.1007/978-3-642-22944-2\_29},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BergerMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BergerBSST11,
author = {Ulrich Berger and
Vasco Brattka and
Victor L. Selivanov and
Dieter Spreen and
Hideki Tsuiki},
title = {Computing with Infinite Data: Topological and Logical Foundations
(Dagstuhl Seminar 11411)},
journal = {Dagstuhl Reports},
volume = {1},
number = {10},
pages = {14--36},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.10.14},
doi = {10.4230/DAGREP.1.10.14},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BergerBSST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BakelBB10,
author = {Steffen van Bakel and
Stefano Berardi and
Ulrich Berger},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {11},
pages = {1313--1314},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.04.004},
doi = {10.1016/J.APAL.2010.04.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BakelBB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Berger10,
author = {Ulrich Berger},
title = {Realisability for Induction and Coinduction with Applications to Constructive
Analysis},
journal = {J. Univers. Comput. Sci.},
volume = {16},
number = {18},
pages = {2535--2555},
year = {2010},
url = {https://doi.org/10.3217/jucs-016-18-2535},
doi = {10.3217/JUCS-016-18-2535},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Berger10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergerBK10,
author = {Ulrich Berger and
Jens Blanck and
Petter Kristian K{\o}ber},
title = {Domain representations of spaces of compact subsets},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {2},
pages = {107--126},
year = {2010},
url = {https://doi.org/10.1017/S096012950999034X},
doi = {10.1017/S096012950999034X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BergerBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BergerS10,
author = {Ulrich Berger and
Monika Seisenberger},
editor = {Fernando Ferreira and
Benedikt L{\"{o}}we and
Elvira Mayordomo and
Lu{\'{\i}}s Mendes Gomes},
title = {Proofs, Programs, Processes},
booktitle = {Programs, Proofs, Processes, 6th Conference on Computability in Europe,
CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6158},
pages = {39--48},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13962-8\_5},
doi = {10.1007/978-3-642-13962-8\_5},
timestamp = {Tue, 10 Dec 2019 15:37:25 +0100},
biburl = {https://dblp.org/rec/conf/cie/BergerS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1101-5200,
editor = {Steffen van Bakel and
Stefano Berardi and
Ulrich Berger},
title = {Proceedings Third International Workshop on Classical Logic and Computation,
CL{\&}C 2010, Brno, Czech Republic, 21-22 August 2010},
series = {{EPTCS}},
volume = {47},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.47},
doi = {10.4204/EPTCS.47},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-5200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Berger09,
author = {Ulrich Berger},
title = {Proofs-as-Programs in Computable Analysis},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {23},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.23.332},
doi = {10.14279/TUJ.ECEASST.23.332},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/Berger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BergerL09,
author = {Ulrich Berger and
Sion Lloyd},
title = {A coinductive approach to verified exact real number computation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {23},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.23.331},
doi = {10.14279/TUJ.ECEASST.23.331},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BergerL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Berger09,
author = {Ulrich Berger},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Realisability and Adequacy for (Co)induction},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2258},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/cca/Berger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Berger09,
author = {Ulrich Berger},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {From Coinductive Proofs to Exact Real Arithmetic},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {132--146},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_12},
doi = {10.1007/978-3-642-04027-6\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Berger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Berger08,
author = {Ulrich Berger},
title = {A domain model characterising strong normalisation},
journal = {Ann. Pure Appl. Log.},
volume = {156},
number = {1},
pages = {39--50},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2008.06.005},
doi = {10.1016/J.APAL.2008.06.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Berger08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Berger08,
author = {Ulrich Berger},
title = {Classical truth in higher types},
journal = {Math. Log. Q.},
volume = {54},
number = {3},
pages = {240--246},
year = {2008},
url = {https://doi.org/10.1002/malq.200710046},
doi = {10.1002/MALQ.200710046},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Berger08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/RaufBS08,
author = {Rose H. Abdul Rauf and
Ulrich Berger and
Anton Setzer},
title = {A Provably Correct Translation of the \emph{lambda} -Calculus into
a Mathematical Model of {C++}},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {298--321},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9062-1},
doi = {10.1007/S00224-007-9062-1},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/RaufBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergerH08,
author = {Ulrich Berger and
Tie Hou},
title = {Coinduction for Exact Real Number Computation},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {394--409},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9017-6},
doi = {10.1007/S00224-007-9017-6},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BergerH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Berger07,
author = {Ulrich Berger and
Gerhard Gierz and
Karl Heinrich Hofmann and
Klaus Keimel and
Jimmie D. Lawson and
Michael W. Mislove and
Dana S. Scott},
title = {Continuous Lattices and Domains},
journal = {Stud Logica},
volume = {86},
number = {1},
pages = {137--138},
year = {2007},
url = {https://doi.org/10.1007/s11225-007-9052-y},
doi = {10.1007/S11225-007-9052-Y},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Berger07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergerO06,
author = {Ulrich Berger and
Paulo Oliva},
title = {Modified bar recursion},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {2},
pages = {163--183},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005093},
doi = {10.1017/S0960129506005093},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BergerO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Berger06,
author = {Ulrich Berger},
title = {Continuous semantics for strong normalisation},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {5},
pages = {751--762},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005457},
doi = {10.1017/S0960129506005457},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Berger06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BergerBLS06,
author = {Ulrich Berger and
Stefan Berghofer and
Pierre Letouzey and
Helmut Schwichtenberg},
title = {Program Extraction from Normalization Proofs},
journal = {Stud Logica},
volume = {82},
number = {1},
pages = {25--49},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-6604-5},
doi = {10.1007/S11225-006-6604-5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BergerBLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RaufBS06,
author = {Rose H. Abdul Rauf and
Ulrich Berger and
Anton Setzer},
editor = {Henrik Nilsson},
title = {Functional concepts in {C++}},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {163--179},
publisher = {Intellect},
year = {2006},
timestamp = {Fri, 18 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/RaufBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2006,
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342},
doi = {10.1007/11780342},
isbn = {3-540-35466-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Berger05,
author = {Ulrich Berger},
title = {Uniform Heyting arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {133},
number = {1-3},
pages = {125--148},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.10.006},
doi = {10.1016/J.APAL.2004.10.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Berger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Berger05,
author = {Ulrich Berger},
title = {Strong normalization for applied lambda calculi},
journal = {Log. Methods Comput. Sci.},
volume = {1},
number = {2},
year = {2005},
url = {https://doi.org/10.2168/LMCS-1(2:3)2005},
doi = {10.2168/LMCS-1(2:3)2005},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Berger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Berger05a,
author = {Ulrich Berger},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {Continuous Semantics for Strong Normalization},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {23--34},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_4},
doi = {10.1007/11494645\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Berger05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Berger05,
author = {Ulrich Berger},
editor = {C.{-}H. Luke Ong},
title = {An Abstract Strong Normalization Theorem},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {27--35},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_4},
doi = {10.1007/11538363\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Berger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/05/0001S05,
author = {Ulrich Berger and
Monika Seisenberger},
editor = {Laura Crosilla and
Peter M. Schuster},
title = {Applications of inductive definitions and choice principles to program
synthesis},
booktitle = {From sets and types to topology and analysis - Towards practicable
foundations for constructive mathematics},
series = {Oxford logic guides},
volume = {48},
publisher = {Oxford University Press},
year = {2005},
timestamp = {Wed, 06 May 2020 14:54:52 +0200},
biburl = {https://dblp.org/rec/books/ox/05/0001S05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Berger05,
author = {Ulrich Berger},
editor = {Ralph Kopperman and
Michael B. Smyth and
Dieter Spreen and
Julian Webster},
title = {Continuous Semantics for Termination Proofs},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
series = {Dagstuhl Seminar Proceedings},
volume = {04351},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/130},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Berger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507007,
author = {Ulrich Berger},
title = {Strong normalisation for applied lambda calculi},
journal = {CoRR},
volume = {abs/cs/0507007},
year = {2005},
url = {http://arxiv.org/abs/cs/0507007},
eprinttype = {arXiv},
eprint = {cs/0507007},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0507007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AehligBHS04,
author = {Klaus Aehlig and
Ulrich Berger and
Martin Hofmann and
Helmut Schwichtenberg},
title = {An arithmetic for non-size-increasing polynomial-time computation},
journal = {Theor. Comput. Sci.},
volume = {318},
number = {1-2},
pages = {3--27},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.10.023},
doi = {10.1016/J.TCS.2003.10.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AehligBHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Berger04,
author = {Ulrich Berger},
title = {A Computational Interpretation of Open Induction},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {326},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319627},
doi = {10.1109/LICS.2004.1319627},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Berger04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergerES03,
author = {Ulrich Berger and
Matthias Eberl and
Helmut Schwichtenberg},
title = {Term rewriting for normalization by evaluation},
journal = {Inf. Comput.},
volume = {183},
number = {1},
pages = {19--42},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00014-2},
doi = {10.1016/S0890-5401(03)00014-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BergerES03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BergerBS02,
author = {Ulrich Berger and
Wilfried Buchholz and
Helmut Schwichtenberg},
title = {Refined program extraction form classical proofs},
journal = {Ann. Pure Appl. Log.},
volume = {114},
number = {1-3},
pages = {3--25},
year = {2002},
url = {https://doi.org/10.1016/S0168-0072(01)00073-2},
doi = {10.1016/S0168-0072(01)00073-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BergerBS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Berger02,
author = {Ulrich Berger},
title = {Computability and Totality in Domains},
journal = {Math. Struct. Comput. Sci.},
volume = {12},
number = {3},
pages = {281--294},
year = {2002},
url = {https://doi.org/10.1017/S0960129502003638},
doi = {10.1017/S0960129502003638},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Berger02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BergerSS01,
author = {Ulrich Berger and
Helmut Schwichtenberg and
Monika Seisenberger},
title = {The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic
Program Extraction},
journal = {J. Autom. Reason.},
volume = {26},
number = {2},
pages = {205--221},
year = {2001},
url = {https://doi.org/10.1023/A:1026748613865},
doi = {10.1023/A:1026748613865},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BergerSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergerNR01,
author = {Ulrich Berger and
Karl{-}Heinz Niggl and
Bernhard Reus},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {264},
number = {2},
pages = {169},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00220-6},
doi = {10.1016/S0304-3975(00)00220-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BergerNR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Berger01,
author = {Ulrich Berger},
editor = {Reinhard Kahle and
Peter Schroeder{-}Heister and
Robert F. St{\"{a}}rk},
title = {Program Extraction from Gentzen's Proof of Transfinite Induction up
to epsilon\({}_{\mbox{0}}\)},
booktitle = {Proof Theory in Computer Science, International Seminar, {PTCS} 2001,
Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2183},
pages = {68--77},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45504-3\_5},
doi = {10.1007/3-540-45504-3\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Berger01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Berger99,
author = {Ulrich Berger},
title = {Density Theorems for the Domains-with-Totality Semantics of Dependent
Types},
journal = {Appl. Categorical Struct.},
volume = {7},
number = {1-2},
pages = {3--30},
year = {1999},
url = {https://doi.org/10.1023/A:1008632017116},
doi = {10.1023/A:1008632017116},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/Berger99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Berger99,
author = {Ulrich Berger},
editor = {Lars Birkedal and
Jaap van Oosten and
Giuseppe Rosolini and
Dana S. Scott},
title = {Effectivity and Density in Domains: {A} Survey},
booktitle = {Tutorial Workshop on Realizability Semantics and Applications, associated
to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
30 - July 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {1},
pages = {27--39},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)00102-1},
doi = {10.1016/S1571-0661(04)00102-1},
timestamp = {Tue, 22 Nov 2022 15:04:18 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Berger99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nada/BergerES98,
author = {Ulrich Berger and
Matthias Eberl and
Helmut Schwichtenberg},
editor = {Bernhard M{\"{o}}ller and
John V. Tucker},
title = {Normalisation by Evaluation},
booktitle = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
- New Hardware Design Methods, Survey Chapters},
series = {Lecture Notes in Computer Science},
volume = {1546},
pages = {117--137},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49254-2\_4},
doi = {10.1007/3-540-49254-2\_4},
timestamp = {Fri, 12 Jul 2019 14:39:18 +0200},
biburl = {https://dblp.org/rec/conf/nada/BergerES98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BergerS95,
author = {Ulrich Berger and
Helmut Schwichtenberg},
editor = {Stefano Berardi and
Mario Coppo},
title = {The Greatest Common Divisor: {A} Case Study for Program Extraction
from Classical Proofs},
booktitle = {Types for Proofs and Programs, International Workshop TYPES'95, Torino,
Italy, June 5-8, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1158},
pages = {36--46},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61780-9\_60},
doi = {10.1007/3-540-61780-9\_60},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/BergerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/BergerS94,
author = {Ulrich Berger and
Helmut Schwichtenberg},
editor = {Daniel Leivant},
title = {Program Extraction from Classical Proofs},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {77--97},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_80},
doi = {10.1007/3-540-60178-3\_80},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lcc/BergerS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Berger93,
author = {Ulrich Berger},
title = {Total Sets and Objects in Domain Theory},
journal = {Ann. Pure Appl. Log.},
volume = {60},
number = {2},
pages = {91--117},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90038-F},
doi = {10.1016/0168-0072(93)90038-F},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Berger93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Berger93,
author = {Ulrich Berger},
editor = {Marc Bezem and
Jan Friso Groote},
title = {Program Extraction from Normalization Proofs},
booktitle = {Typed Lambda Calculi and Applications, International Conference on
Typed Lambda Calculi and Applications, {TLCA} '93, Utrecht, The Netherlands,
March 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {664},
pages = {91--106},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0037100},
doi = {10.1007/BFB0037100},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Berger93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cip/BergerMM91,
author = {Ulrich Berger and
Werner Meixner and
Bernhard M{\"{o}}ller},
editor = {Manfred Broy and
Martin Wirsing},
title = {Calculating a Garbage Collector},
booktitle = {Method of Programming, Selected Papers on the CIP-Project},
series = {Lecture Notes in Computer Science},
volume = {544},
pages = {137--192},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0018273},
doi = {10.1007/BFB0018273},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cip/BergerMM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BergerS91,
author = {Ulrich Berger and
Helmut Schwichtenberg},
title = {An Inverse of the Evaluation Functional for Typed lambda-calculus},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
{(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
pages = {203--211},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/LICS.1991.151645},
doi = {10.1109/LICS.1991.151645},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BergerS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
