Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Temur Kutsia

Johannes Kepler University Linz

Austria

Research Interests

Explore related searches

Professors in Austria

Articles (6)

Year:

2022

Year:

2022

Year:

2021

Year:

2020

Year:

2020

Year:

2020

Collaborators (4)

Wolfgang Schreiner

Associate Professor

Johannes Kepler University Linz

AUSTRIA

View details

Andrew Marshall

University of Mary Washington

UNITED STATES

View details

Manfred Schmidt-Schauß

Professor

Goethe University Frankfurt

GERMANY

View details

Dimitris Simos

Senior Lecturer

University of Applied Sciences Upper Austria

AUSTRIA

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Temur Kutsia

Research Interests

Explore related searches

Articles (6)

Nominal Unification and Matching of Higher Order Expressions with Recursive Let

Preface

Variadic equational matching in associative and commutative theories

McCarthy-Kleene fuzzy automata and MSO logics

Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques

Higher-order pattern generalization modulo equational theories

Collaborators (4)

Wolfgang Schreiner

Andrew Marshall

Manfred Schmidt-Schauß

Dimitris Simos

Make your next move.