( en | de | ru )

 

Disambiguierung von "Berger, Ulrich"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Refined program extraction form classical proofs.

, , und . Ann. Pure Appl. Log., 114 (1-3): 3-25 (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ulrich Berger

Ulrich Berger

Ulrich Berger

Ulrich Berger

Ulrich Berger

 

Weitere Publikationen von Autoren mit dem selben Namen

A coinductive approach to verified exact real number computation., und . ECEASST, (2009)Training CNNs from Synthetic Data for Part Handling in Industrial Environments., , , , und . CASE, Seite 624-629. IEEE, (2018)Anwendungsbeispiele zur Integration heterogener Steuerungssysteme bei robotergestützten Industrieanlagen, , und . Handbuch Industrie 4.0 Bd.\, 2: Automatisierung, Springer, Berlin, 2 Edition, (2017)A Coinductive Approach to Computing with Compact Sets., und . CoRR, (2015)Flexible Produktionssysteme in der Praxis, , und . Industrie 4.0 Management, 31 (6): 24--27 (2015)Total Sets and Objects in Domain Theory.. Ann. Pure Appl. Log., 60 (2): 91-117 (1993)Functional concepts in C++., , und . Trends in Functional Programming, Volume 7 von Trends in Functional Programming, Seite 163-179. Intellect, (2006)Proofs, Programs, Processes., und . Theory Comput. Syst., 51 (3): 313-329 (2012)Extracting verified decision procedures: DPLL and Resolution., , , und . Logical Methods in Computer Science, (2015)Bill-and-keep vs. cost-based access pricing revisited. Economics Letters, 86 (1): 107--112 (Januar 2005)