Temur Kutsia

Cytowane przez

	Wszystkie	Od 2020
Cytowania	1436	463
h-indeks	19	12
i10-indeks	47	18

140

105

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420258 39 31 30 43 54 32 60 54 44 30 23 72 63 102 84 72 105 91 89 67 74 140 1

Dostęp publiczny

Wyświetl wszystko

55 artykułów

1 artykuł

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Mircea MarinWest University of TimisoaraZweryfikowany adres z info.uvt.ro
Bruno BuchbergerProfesser for Computer Mathematics, Johannes Kepler UniversityZweryfikowany adres z jku.at
Besik DunduaKutaisi International UniversityZweryfikowany adres z kiu.edu.ge
David M. CernaCzech Academy of Sciences Institute of Computer ScienceZweryfikowany adres z cs.cas.cz
Tudor JebeleanComputer Mathematics Professor, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria and University of the West Timisoara, RomaniaZweryfikowany adres z JKU.AT
Jordi LevyResearch Scientist, IIIA-CSICZweryfikowany adres z iiia.csic.es
Mateu Villaret AuselleUniversitat de GironaZweryfikowany adres z ima.udg.edu
Laura KovacsTU Wien, Vienna, AustriaZweryfikowany adres z tuwien.ac.at
Adrian CraciunAssociate Professor, West University TimisoaraZweryfikowany adres z e-uvt.ro
Mauricio Ayala RinconProfessor of Computer Science and Mathematics, Universidade de BrasiliaZweryfikowany adres z unb.br
Jorge CoelhoProfessor of Computer Engineering, School of Engineering, Polytechnic Institute of PortoZweryfikowany adres z isep.ipp.pt
Manfred Schmidt-SchaußProfessor für Informatik, Goethe-University FrankfurtZweryfikowany adres z ki.informatik.uni-frankfurt.de
Boris KonevProfessor of Computer Science, Liverpool UniversityZweryfikowany adres z liverpool.ac.uk
Nino AmiridzeIvane Javakhishvili Tbilisi State UniversityZweryfikowany adres z tsu.ge
Ilias S. Kotsireas, Director, CARGO labWilfrid Laurier UniversityZweryfikowany adres z wlu.ca
Dimitris E. SimosKey Researcher, SBA ResearchZweryfikowany adres z sba-research.org
Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityZweryfikowany adres z logic.at
Manfred DrosteProfessor, Institut für Informatik, Universität LeipzigZweryfikowany adres z informatik.uni-leipzig.de
Katsuhisa HorimotoNational Institute of Advanced Industrial Science and TechnologyZweryfikowany adres z aist.go.jp
Demis BallisUniversità degli Studi di UdineZweryfikowany adres z uniud.it

Obserwuj

Temur Kutsia

Research Institute for Symbolic Computation, Johannes Kepler University Linz

Zweryfikowany adres z risc.jku.at - Strona główna

Unification and anti-unification rule-based programming rewriting symbolic constraint solving automated reasoning


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	240	2006
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	65	2016
Anti-unification for unranked terms and hedges T Kutsia, J Levy, M Villaret Journal of Automated Reasoning 52 (2), 155-190, 2014	56	2014
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	54	2002
Foundations of the rule-based system ρLog M Marin, T Kutsia Journal of Applied Non-Classical Logics 16 (1-2), 151-168, 2006	46	2006
Solving equations with sequence variables and sequence functions T Kutsia Journal of Symbolic Computation 42 (3), 352-388, 2007	44	2007
Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols. T Kutsia PhD Thesis, RISC, Johannes Kepler University Linz, 2002	41*	2002
Predicate logic with sequence variables and sequence function symbols T Kutsia, B Buchberger International Conference on Mathematical Knowledge Management, 205-219, 2004	35	2004
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	34	2017
Matching with regular constraints T Kutsia, M Marin International Conference on Logic for Programming Artificial Intelligence …, 2005	29	2005
Anti-unification and generalization: a survey DM Cerna, T Kutsia IJCAI 2023: 32nd International Joint Conference on Artifical Intelligence …, 2023	28	2023
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	26	2017
Nominal anti-unification A Baumgartner, T Kutsia, J Levy, M Villaret Dagstuhl Publishing, 2015	25	2015
Context sequence matching for XML T Kutsia Electronic Notes in Theoretical Computer Science 157 (2), 47-65, 2006	24	2006
A Library of Anti-Unification Algorithms A Baumgartner, T Kutsia www.risc.jku.at/publications/download/risc_5003/au_library.pdf, 2014	22	2014
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	21	2003
A variant of higher-order anti-unification A Baumgartner, T Kutsia, J Levy, M Villaret	20	2013
Can Context Sequence Matching Be Used for XML Querying? T Kutsia, M Marin Proceedings of UNIF 5, 77-95, 2005	20	2005
Solving equations involving sequence variables and sequence functions T Kutsia International Conference on Artificial Intelligence and Symbolic Computation …, 2004	20	2004
Strategies in prholog B Dundua, T Kutsia, M Marin arXiv preprint arXiv:1001.4434, 2010	19	2010

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy