Temur Kutsia

Temur Kutsia

Research Institute for Symbolic Computation, Johannes Kepler University Linz
risc.jku.at의 이메일 확인됨
1427회 인용
Unification and anti-unification rule-based programming rewriting symbolic constraint solving automated reasoning
Mircea Marin

Mircea Marin

West University of Timisoara
info.uvt.ro의 이메일 확인됨
753회 인용
Rule-based programming Functional Logic Programming Automata Theory Automated Theorem Proving