Universitätspublikationen
Refine
Year of publication
- 2015 (159) (remove)
Document Type
- Book (159) (remove)
Has Fulltext
- yes (159)
Is part of the Bibliography
- no (159)
Keywords
- Adorno, Theodor W. (1)
- Archäologie (1)
- Archäologiegeschichte (1)
- Critical Theory (1)
- E-Book (1)
- Flucht (1)
- Flüchtlinge (1)
- Gershom Scholem (1)
- Geschichte 1129-1675 (1)
- Geschichte der Archäologie (1)
Institute
- Präsidium (106)
- Institut für Wirtschaft, Arbeit, und Kultur (IWAK) (37)
- Neuere Philologien (24)
- Kulturwissenschaften (18)
- Wirtschaftswissenschaften (10)
- Gesellschaftswissenschaften (8)
- Biowissenschaften (7)
- Geschichtswissenschaften (7)
- Biochemie und Chemie (6)
- Medizin (6)
Contents:
Yuki Chiba, Santiago Escobar, Naoki Nishida, and David Sabel, and Manfred Schmidt-Schauß : Preface:
The Collection of all Abstracts of the Talks at WPTE 2015 xi
Brigitte Pientka : Mechanizing Meta-Theory in Beluga
Giulio Guerrieri : Head reduction and normalization in a call-by-value lambda-calculus
Adrián Palacios and Germán Vidal : Towards Modelling Actor-Based Concurrency in Term Rewriting
David Sabel and Manfred Schmidt-Schauß : Observing Success in the Pi-Calculus
Sjaak Smetsers, Ken Madlener, and Marko van Eekelen : Formalizing Bialgebraic Semantics in PVS 6.0