Login / Signup
Temur Kutsia
ORCID
Publication Activity (10 Years)
Years Active: 2002-2024
Publications (10 Years): 48
Top Topics
Knuth Bendix
Logic Programming
Higher Order
Undirected Graph
Top Venues
CoRR
FSCD
Ann. Math. Artif. Intell.
J. Symb. Comput.
</>
Publications
</>