Temur Kutsia

Available identifiers

zbMath Open kutsia.temurMaRDI QIDQ351994

List of research outcomes

Publication	Date of Publication	Type
Nominal AC-matching	2024-02-28	Paper
A framework for approximate generalization in quantitative theories	2022-12-07	Paper
Solving Proximity Constraints	2022-08-25	Paper
Pattern-based calculi with finitary matching	2022-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5089010	2022-07-18	Paper
Nominal Unification and Matching of Higher Order Expressions with Recursive Let	2022-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3384166	2021-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q5015098	2021-12-08	Paper
Extending the \(\rho\) log calculus with proximity relations	2021-08-30	Paper
Specification and analysis of ABAC policies in a rule-based framework	2021-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4993335	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q4993338	2021-06-15	Paper
Variadic equational matching in associative and commutative theories	2021-06-03	Paper
Higher-order pattern generalization modulo equational theories	2020-12-08	Paper
McCarthy-Kleene fuzzy automata and MSO logics	2020-05-26	Paper
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques	2020-02-11	Paper
Variadic equational matching	2020-01-22	Paper
Idempotent Anti-unification	2019-11-22	Paper
Theorema 2.0: Computer-Assisted Natural-Style Mathematics	2019-09-18	Paper
CLP(H):Constraint logic programming for hedges	2017-11-09	Paper
Nominal unification of higher order expressions with recursive let	2017-10-13	Paper
Unranked second-order anti-unification	2017-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q5277871	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q5277882	2017-07-12	Paper
Higher-order pattern anti-unification in linear time	2017-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q2958379	2017-02-01	Paper
Anti-unification for unranked terms and hedges	2015-07-02	Paper
A Library of Anti-unification Algorithms	2015-01-14	Paper
Unranked Second-Order Anti-Unification	2015-01-13	Paper
Regular expression order-sorted unification and matching	2014-09-11	Paper
Constraint Logic Programming for Hedges: A Semantic Reconstruction	2014-07-24	Paper
Pattern Unification with Sequence Variables and Flexible Arity Symbols	2013-08-15	Paper
On the computation of quotients and factors of regular languages	2013-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q5389145	2012-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q5389083	2012-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q3108257	2012-01-01	Paper
Regular Hedge Language Factorization Revisited	2010-08-31	Paper
Foundations of the rule-based system ρLog	2009-11-30	Paper
On the relation between context and sequence unification	2009-11-06	Paper
Flat matching	2009-01-30	Paper
Matching with Regular Constraints	2008-05-27	Paper
The Theorema Environment for Interactive Proof Development	2008-05-27	Paper
Sequence Unification Through Currying	2008-01-02	Paper
Solving equations with sequence variables and sequence functions	2007-10-23	Paper
\textit{Theorema}: Towards computer-aided mathematical theory exploration	2007-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q3416418	2007-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5699476	2005-10-26	Paper
Mathematical Knowledge Management	2005-08-26	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4808726	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4447245	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4428306	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q2718191	2002-02-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Temur Kutsia