BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Italy
1 × Portugal
1 × Spain
1 × The Netherlands
1 × United Kingdom
Collaborated with:
S.U.H.Minhas H.Schwichtenberg
Talks about:
support (2) system (2) plan (2) environment (1) manufactur (1) interpret (1) knowledg (1) intellig (1) function (1) coinduct (1)

Person: Ulrich Berger

DBLP DBLP: Berger:Ulrich

Contributed to:

KEOD 20142014
KEOD 20122012
CSL 20092009
CSL 20052005
LICS 20042004
LICS 19911991

Wrote 6 papers:

KEOD-2014-MinhasB #information management #ontology
Ontology Based Environmental Knowledge Management — A System to Support Decisions in Manufacturing Planning (SUHM, UB), pp. 397–404.
KEOD-2012-MinhasB #development
Development of Intelligent Assistance System to Support Eco-efficient Planning (SUHM, UB), pp. 331–334.
CSL-2009-Berger #induction #proving
From Coinductive Proofs to Exact Real Arithmetic (UB), pp. 132–146.
CSL-2005-Berger #normalisation #theorem
An Abstract Strong Normalization Theorem (UB), pp. 27–35.
LICS-2004-Berger #induction
A Computational Interpretation of Open Induction (UB), p. 326.
LICS-1991-BergerS #evaluation #functional #λ-calculus
An Inverse of the Evaluation Functional for Typed λ-calculus (UB, HS), pp. 203–211.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.