Ulrich Berger
Ulrich Berger
Associate Professor of Computer Science, Swansea University, UK
Email confirmado em swansea.ac.uk
Título
Citado por
Citado por
Ano
An inverse of the evaluation functional for typed lambda-calculus
U Berger, H Schwichtenberg
IEEE Computer Society Press, Los Alamitos, 1991
2851991
Fictitious play in 2× n games
U Berger
Journal of Economic Theory 120 (2), 139-154, 2005
1382005
Refined program extraction from classical proofs
U Berger, W Buchholz, H Schwichtenberg
Annals of Pure and Applied Logic 114 (1-3), 3-25, 2002
1342002
Program extraction from normalization proofs
U Berger
International Conference on Typed Lambda Calculi and Applications, 91-106, 1993
1311993
Bill-and-keep vs. cost-based access pricing revisited
U Berger
Economics Letters 86 (1), 107-112, 2005
1282005
Total sets and objects in domain theory
U Berger
Annals of pure and applied logic 60 (2), 91-117, 1993
1231993
Normalization by evaluation
U Berger, M Eberl, H Schwichtenberg
Prospects for Hardware Foundations, 117-137, 1998
881998
Brown's original fictitious play
U Berger
Journal of Economic Theory 135 (1), 572-578, 2007
822007
Modified bar recursion and classical dependent choice
U Berger, P Oliva
Logic Colloquium 1, 6-11, 2001
812001
Program extraction from classical proofs
U Berger, H Schwichtenberg
International Workshop on Logic and Computational Complexity, 77-97, 1994
811994
On the manifold structure of the space of brain images
S Gerber, T Tasdizen, S Joshi, R Whitaker
International Conference on Medical Image Computing and Computer-Assisted …, 2009
72*2009
Access charges in the presence of call externalities
U Berger
Contributions in Economic Analysis & Policy 3 (1), 1-16, 2005
692005
Learning to cooperate via indirect reciprocity
U Berger
Games and Economic Behavior 72 (1), 30-37, 2011
632011
A computational interpretation of open induction
U Berger
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
632004
Program extraction from normalization proofs
U Berger, S Berghofer, P Letouzey, H Schwichtenberg
Studia logica 82 (1), 25-49, 2006
572006
Uniform heyting arithmetic
U Berger
Annals of Pure and Applied Logic 133 (1-3), 125-148, 2005
572005
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
532018
The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
U Berger, H Schwichtenberg, M Seisenberger
Journal of Automated Reasoning 26 (2), 205-221, 2001
522001
Term rewriting for normalization by evaluation
U Berger, M Eberl, H Schwichtenberg
Information and Computation 183 (1), 19-42, 2003
452003
Modified bar recursion
U Berger, P Oliva
Mathematical Structures in Computer Science 16 (2), 163-183, 2006
432006
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20