Searching for authors named "Bernd Mahr" – sorted by Relevance.
-
Congruence Proofs For Weak Bisimulation on Higher-order Processes: Results for Typed omega-order Calculi
- Michael Baldamus Rainer Glas Report No. 96--19 May 1996 recommended for publication by: Prof. Bernd Mahr
- Add To MetaCart
-
I-centic User Interaction
- . Bernd Mahr Tag der wissenschaftlichen Aussprache: 21. November 2003 Berlin 2003 D 83 I-centric User
- Cited by 1 (1 self) – Add To MetaCart
-
ii
- : Vorsitzende: Prof. Dr. Sabine Glesner Berichter: Prof. Dr. Bernd Mahr Berichter: Prof. Dr. Herbert Weber
- Add To MetaCart

