Seuraa
Temur Kutsia
Temur Kutsia
Research Institute for Symbolic Computation, Johannes Kepler University Linz
Vahvistettu sähköpostiosoite verkkotunnuksessa risc.jku.at - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Theorema: Towards computer-aided mathematical theory exploration
B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ...
Journal of applied logic 4 (4), 470-504, 2006
2402006
Theorema 2.0: Computer-assisted natural-style mathematics
B Buchberger, T Jebelean, T Kutsia, A Maletzky, W Windsteiger
Journal of Formalized Reasoning 9 (1), 149-185, 2016
652016
Anti-unification for unranked terms and hedges
T Kutsia, J Levy, M Villaret
Journal of Automated Reasoning 52 (2), 155-190, 2014
562014
Unification with sequence variables and flexible arity symbols and its extension with pattern-terms
T Kutsia
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, 290-304, 2002
542002
Foundations of the rule-based system ρLog
M Marin, T Kutsia
Journal of Applied Non-Classical Logics 16 (1-2), 151-168, 2006
482006
Solving equations with sequence variables and sequence functions
T Kutsia
Journal of Symbolic Computation 42 (3), 352-388, 2007
442007
Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols.
T Kutsia
PhD Thesis, RISC, Johannes Kepler University Linz, 2002
40*2002
Predicate logic with sequence variables and sequence function symbols
T Kutsia, B Buchberger
International Conference on Mathematical Knowledge Management, 205-219, 2004
352004
Nominal unification of higher order expressions with recursive let
M Schmidt-Schauß, T Kutsia, J Levy, M Villaret
Logic-Based Program Synthesis and Transformation: 26th International …, 2017
332017
Matching with regular constraints
T Kutsia, M Marin
International Conference on Logic for Programming Artificial Intelligence …, 2005
292005
Anti-unification and generalization: a survey
DM Cerna, T Kutsia
IJCAI 2023: 32nd International Joint Conference on Artifical Intelligence …, 2023
262023
Higher-order pattern anti-unification in linear time
A Baumgartner, T Kutsia, J Levy, M Villaret
Journal of Automated Reasoning 58 (2), 293-310, 2017
262017
Nominal anti-unification
A Baumgartner, T Kutsia, J Levy, M Villaret
Dagstuhl Publishing, 2015
242015
Context sequence matching for XML
T Kutsia
Electronic Notes in Theoretical Computer Science 157 (2), 47-65, 2006
242006
A Library of Anti-Unification Algorithms
A Baumgartner, T Kutsia
www.risc.jku.at/publications/download/risc_5003/au_library.pdf, 2014
222014
Can Context Sequence Matching Be Used for XML Querying?
T Kutsia, M Marin
Proceedings of UNIF 5, 77-95, 2005
212005
On the implementation of a rule-based programming system and some of its applications
M Marin, T Kutsia
Proc. of the 4th Int. Workshop on the Implementation of Logics (WIL’03), 55-68, 2003
212003
A variant of higher-order anti-unification
A Baumgartner, T Kutsia, J Levy, M Villaret
202013
Solving equations involving sequence variables and sequence functions
T Kutsia
International Conference on Artificial Intelligence and Symbolic Computation …, 2004
202004
Strategies in prholog
B Dundua, T Kutsia, M Marin
arXiv preprint arXiv:1001.4434, 2010
192010
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20