E-LIB Suche - Ergebnisse für: Berger, Ulrich

1

Computing with Infinite Objects: the Gray Code Case:

Spreen, Dieter ; Berger, Ulrich
Logical Methods in Computer Science. 19, Issue 3 (2023) - p. , 2023

Link: https://doi.org/10.46298..

2

Intuitionistic fixed point logic:

Berger, Ulrich ; Tsuiki, Hideki
Annals of Pure and Applied Logic. 172 (2021) 3 - p. 102903 , 2021

Link: https://doi.org/10.1016/..

3

What Is Frailty? Perspectives from Chinese Clinicians and O..:

Cheung, Gary ; Gee, Susan ; Jamieson, Hamish.
Journal of Cross-Cultural Gerontology. 36 (2021) 2 - p. 201-213 , 2021

Link: https://doi.org/10.1007/..

4

Evolution of deterrence with costly reputation information:

Berger, Ulrich ; De Silva, Hannelore ; Chen, Xiaojie
PLOS ONE. 16 (2021) 6 - p. e0253344 , 2021

Link: https://doi.org/10.1371/..

5

Program extraction applied to monadic parsing:

Berger, Ulrich ; Jones, Alison ; Seisenberger, Monika
Journal of Logic and Computation. 29 (2019) 4 - p. 487-518 , 2019

Link: https://doi.org/10.1093/..

6

Verification of the European Rail Traffic Management System..:

Berger, Ulrich ; James, Phillip ; Lawrence, Andrew..
Science of Computer Programming. 154 (2018) - p. 61-88 , 2018

Link: https://doi.org/10.1016/..

7

Co-action equilibrium fails to predict choices in mixed-str..:

Berger, Ulrich
Scientific Reports. 8 (2018) 1 - p. , 2018

Link: https://doi.org/10.1038/..

8

Fattening and slaughtering performance of growing pigs cons..:

Wüstholz, Jessica ; Carrasco, Salomé ; Berger, Ulrich..
Livestock Science. 200 (2017) - p. 46-52 , 2017

Link: https://doi.org/10.1016/..

9

A realizability interpretation of Church's simple theory of..:

BERGER, ULRICH ; HOU, TIE
Mathematical Structures in Computer Science. 27 (2016) 8 - p. 1364-1385 , 2016

Link: https://doi.org/10.1017/..

10

On the stability of cooperation under indirect reciprocity ..:

Berger, Ulrich ; Grüne, Ansgar
Games and Economic Behavior. 98 (2016) - p. 19-33 , 2016

Link: https://doi.org/10.1016/..

11

Cognitive hierarchies in the minimizer game:

Berger, Ulrich ; De Silva, Hannelore ; Fellner-Röhling, Gerlinde
Journal of Economic Behavior & Organization. 130 (2016) - p. 337-348 , 2016

Link: https://doi.org/10.1016/..

12

The Transformable Factory: Adapting Automotive Production C..:

Creutznacher, Thomas ; Berger, Ulrich ; Lepratti, Raffaello.
Procedia CIRP. 41 (2016) - p. 171-176 , 2016

Link: https://doi.org/10.1016/..

13

Double Blind Peer-Review in Games:

Berger, Ulrich ; Rittman, Martyn
Games. 7 (2015) 1 - p. 1 , 2015

Link: https://doi.org/10.3390/..

14

Preface:

Berger, Ulrich ; Blanck, Jens ; Escardó, Martín.
Journal of Logical and Algebraic Methods in Programming. 84 (2015) 1 - p. 107 , 2015

Link: https://doi.org/10.1016/..

15

Preface to the special issue: Computing with infinite data:..:

BERGER, ULRICH ; BRATTKA, VASCO ; SELIVANOV, VICTOR..
Mathematical Structures in Computer Science. 25 (2014) 7 - p. 1463-1465 , 2014

Link: https://doi.org/10.1017/..