Temur Kutsia

  • kutsia@risc.jku.at
  • RISC, Johannes Kepler University Linz
  • Home
  • Publications
    • By Type
    • By Topics
      • Matching and Unification
      • Generalization
      • Declarative Programming
      • Automated Reasoning
      • Security and Verification
      • Formal Languages
      • Lambda Calculus-Related
      • Various
  • Projects
  • Activities
  • Teaching
  • Organization
  • Software
  • Links
  • Personal

Dr. Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz
Altenbergerstrasse 69, A-4040 Linz, Austria

Link to photo
+43 (0)732 2468 9982
kutsia@risc.jku.at
https://www.risc.jku.at/people/tkutsia/

Copyright © 2018 - All Rights Reserved

Template by OS Templates