Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=1011507609



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1011507609
Person Hanus, Michael
Akademischer Grad Prof. Dr.
Geschlecht männlich
Quelle LCAuth
Zeit Lebensdaten: 1959-
Land Deutschland (XA-DE)
Geografischer Bezug Wirkungsort: Kiel
Beruf(e) Informatiker
Weitere Angaben Diss. Dortmund 1988, Habil.-Schrift Saarbrücken 1994, seit 2000 Professor für Informatik an der Christian-Albrechts-Universität Kiel
Beziehungen zu Organisationen Christian-Albrechts-Universität zu Kiel. Institut für Informatik
Typ Person (piz)
Autor von 22 Publikationen
  1. Adding plural arguments to Curry programs.
    Hanus, Michael. - Kiel : Institut für Informatik / Christian-Albrechts-Universität zu Kiel, 2013
  2. Improving lazy non-deterministic computations by demand analysis
    Hanus, Michael. - Kiel : Institut für Informatik / Christian-Albrechts-Universität zu Kiel, 2012
  3. ...
Beteiligt an 16 Publikationen
  1. Transforming Boolean equalities into constraints
    In: Formal aspects of computing 24.10.2016: 1-20
  2. Kiel Declarative Programming Days 2013 20th International Conference on Applications of Declarat ive Programming and Knowledge Management (INAP 2013) 22nd International Workshop on Functional and (Constraint ) Logic Programming (WFLP 2013) 27th Workshop on Logic Programming (WLP 2013)
    Kiel : Institut für Informatik, Christian-Albrechts-Universität zu Kiel, 2013
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration