( en | de | ru )

 

Disambiguation of "Berger, Ulrich"

Author of the publication

copydeleteadd this publication to your clipboard
Undecidability of Equality for Codata Types.

, and . CMCS, volume 11202 of Lecture Notes in Computer Science, page 34-55. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrich Berger

Ulrich Berger

Ulrich Berger

Ulrich Berger

Ulrich Berger

 

Other publications of authors with the same name

Anwendungsbeispiele zur Integration heterogener Steuerungssysteme bei robotergestützten Industrieanlagen, , and . Handbuch Industrie 4.0 Bd.\, 2: Automatisierung, Springer, Berlin, 2 edition, (2017)Bill-and-keep vs. cost-based access pricing revisited. Economics Letters, 86 (1): 107--112 (January 2005)Flexible Produktionssysteme in der Praxis, , and . Industrie 4.0 Management, 31 (6): 24--27 (2015)Functional concepts in C++., , and . Trends in Functional Programming, volume 7 of Trends in Functional Programming, page 163-179. Intellect, (2006)Training CNNs from Synthetic Data for Part Handling in Industrial Environments., , , , and . CASE, page 624-629. IEEE, (2018)Irrational behavior in the Brown-von Neumann-Nash dynamics., and . Games Econ. Behav., 56 (1): 1-6 (2006)Increasing the flexibility of manufacturing: A service-oriented approach in automation., , , , , and . ETFA, page 1-4. IEEE, (2016)Technical conditions for the use of autonomous systems: A general approach on an example., , , and . ETFA, page 1-9. IEEE, (2013)Program Extraction from Classical Proofs., and . LCC, volume 960 of Lecture Notes in Computer Science, page 77-97. Springer, (1994)Program Extraction from Normalization Proofs.. TLCA, volume 664 of Lecture Notes in Computer Science, page 91-106. Springer, (1993)