Ao.Univ.Prof. Dipl.Inf. Dr.rer.nat Bernhard Gramlich#

Position

Univ.Dozent

Universität

Technische Universität Wien

Institut

E185 - Institut für Computersprachen

Arbeitsgebiet

Theoretische Informatik, Constraint Language, Functional Features, Term Rewriting, Context-Sensitive System, Declarative Programming, Declarative Programming,
Computational Logic
Automated Reasoning
Declarative Programming
Formal Methods
Specification And Verification

E-Mail

bernhard.gramlich nospam@TUGraz.at @tuwien.ac.at

Web-Site

http://www.logic.at/staff/gramlich

Besondere Aktivitäten

-

Mitgliedschaften

-

Projekte

-

Publikationen

-

Anschrift

-

Ort

Wien

Telefon

-

Anmerkung

-

Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#