Folgen
Ulrich Berger
Ulrich Berger
Associate Professor of Computer Science, Swansea University, UK
Bestätigte E-Mail-Adresse bei swansea.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
An inverse of the evaluation functional for typed lambda-calculus
U Berger, H Schwichtenberg
IEEE Computer Society Press, Los Alamitos, 1991
3251991
Fictitious play in 2× n games
U Berger
Journal of Economic Theory 120 (2), 139-154, 2005
1702005
A maturity assessment approach for conceiving context-specific roadmaps in the Industry 4.0 era
M Colli, U Berger, M Bockholt, O Madsen, C Møller, BV Wæhrens
Annual Reviews in Control 48, 165-177, 2019
1682019
Contextualizing the outcome of a maturity assessment for Industry 4.0
M Colli, O Madsen, U Berger, C Møller, BV Wæhrens, M Bockholt
Ifac-papersonline 51 (11), 1347-1352, 2018
1602018
Refined program extraction from classical proofs
U Berger, W Buchholz, H Schwichtenberg
Annals of Pure and Applied Logic 114 (1-3), 3-25, 2002
1362002
Program extraction from normalization proofs
U Berger
Typed Lambda Calculi and Applications: International Conference on Typed …, 1993
1351993
Brown's original fictitious play
U Berger
Journal of Economic Theory 135 (1), 572-578, 2007
1332007
Bill-and-keep vs. cost-based access pricing revisited
U Berger
Economics Letters 86 (1), 107-112, 2005
1252005
Total sets and objects in domain theory
U Berger
Annals of pure and applied logic 60 (2), 91-117, 1993
1211993
A survey on digitalization for SMEs in Brandenburg, Germany
P Kilimis, W Zou, M Lehmann, U Berger
IFAC-PapersOnLine 52 (13), 2140-2145, 2019
992019
Normalization by evaluation
U Berger, M Eberl, H Schwichtenberg
Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA—New …, 1998
961998
Modified bar recursion and classical dependent choice
U Berger, P Oliva
Logic Colloquium 1, 89-107, 2005
882005
Learning to cooperate via indirect reciprocity
U Berger
Games and Economic Behavior 72 (1), 30-37, 2011
852011
Program extraction from classical proofs
U Berger, H Schwichtenberg
International Workshop on Logic and Computational Complexity, 77-97, 1994
791994
A computational interpretation of open induction
U Berger
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
762004
Access charges in the presence of call externalities
U Berger
Contributions in Economic Analysis & Policy 3 (1), 1-16, 2005
712005
A multi-case study on Industry 4.0 for SME’s in Brandenburg, Germany
M Andulkar, DT Le, U Berger
702018
Program extraction from normalization proofs
U Berger, S Berghofer, P Letouzey, H Schwichtenberg
Studia logica 82, 25-49, 2006
652006
The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
U Berger, H Schwichtenberg, M Seisenberger
Journal of Automated Reasoning 26, 205-221, 2001
592001
Uniform heyting arithmetic
U Berger
Annals of Pure and Applied Logic 133 (1-3), 125-148, 2005
562005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20