E185-2: Home | People | Courses (LVAs) | Research | Services         Units: www.logic.at | Inst. E185 | CS Dept. | TNI | TU Wien

TU Wien

Institut für Computersprachen
AG Theoretische Informatik und Logik
(Theory and Logic Group)

Publications

For detailed information about publications of group members see the respective individual homepages.

E185-2: Home | People | Courses (LVAs) | Research | Services         Units: www.logic.at | Inst. E185 | CS Dept. | TNI | TU Wien
webmaster@logic.at