Ayala-Rincón, Mauricio; Fernández, Maribel; Silva, Gabriel Ferreira; Kutsia, Temur; Nantes-Sobrinho, Daniele Nominal AC-matching. (English) Zbl 07810723 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 53-68 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Lect. Notes Comput. Sci. 14101, 53--68 (2023; Zbl 07810723) Full Text: DOI
Buzzard, Kevin (ed.); Kutsia, Temur (ed.) Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. (English) Zbl 1511.68013 Lecture Notes in Computer Science 13467. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-16680-8/pbk; 978-3-031-16681-5/ebook). xv, 349 p. (2022). MSC: 68-06 68Vxx 00B25 PDFBibTeX XMLCite \textit{K. Buzzard} (ed.) and \textit{T. Kutsia} (ed.), Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19--23, 2022. Proceedings. Cham: Springer (2022; Zbl 1511.68013) Full Text: DOI
Kutsia, Temur; Pau, Cleo A framework for approximate generalization in quantitative theories. (English) Zbl 07628210 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 578-596 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{T. Kutsia} and \textit{C. Pau}, Lect. Notes Comput. Sci. 13385, 578--596 (2022; Zbl 07628210) Full Text: DOI
Kutsia, Temur; Pau, Cleo Matching and generalization modulo proximity and tolerance relations. (English) Zbl 07570786 Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 323-342 (2022). MSC: 68N17 68Q42 68T37 PDFBibTeX XMLCite \textit{T. Kutsia} and \textit{C. Pau}, Lect. Notes Comput. Sci. 13206, 323--342 (2022; Zbl 07570786) Full Text: DOI
Dundua, Besik; Kutsia, Temur; Rukhaia, Mikheil Unranked nominal unification. (English) Zbl 07570784 Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 279-296 (2022). MSC: 68Q42 PDFBibTeX XMLCite \textit{B. Dundua} et al., Lect. Notes Comput. Sci. 13206, 279--296 (2022; Zbl 07570784) Full Text: DOI
Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu; Kutz, Yunus Nominal unification and matching of higher order expressions with recursive let. (English) Zbl 07527238 Fundam. Inform. 185, No. 3, 247-283 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{M. Schmidt-Schauß} et al., Fundam. Inform. 185, No. 3, 247--283 (2022; Zbl 07527238) Full Text: DOI arXiv
Kutsia, Temur (ed.); Marshall, Andrew M. (ed.) Preface. (English) Zbl 1485.00031 Ann. Math. Artif. Intell. 90, No. 5, 453-454 (2022). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{T. Kutsia} (ed.) and \textit{A. M. Marshall} (ed.), Ann. Math. Artif. Intell. 90, No. 5, 453--454 (2022; Zbl 1485.00031) Full Text: DOI
Dundua, Besik; Kutsia, Temur; Marin, Mircea Variadic equational matching in associative and commutative theories. (English) Zbl 07354268 J. Symb. Comput. 106, 78-109 (2021). MSC: 03B70 68Q42 68N15 33F10 PDFBibTeX XMLCite \textit{B. Dundua} et al., J. Symb. Comput. 106, 78--109 (2021; Zbl 07354268) Full Text: DOI
Marin, Mircea; Dundua, Besik; Kutsia, Temur A rule-based system for computation and deduction in Mathematica. (English) Zbl 1517.68425 Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 57-74 (2020). MSC: 68W30 68Q42 PDFBibTeX XMLCite \textit{M. Marin} et al., Lect. Notes Comput. Sci. 12328, 57--74 (2020; Zbl 1517.68425) Full Text: DOI
Kutsia, Temur; Pau, Cleo Solving proximity constraints. (English) Zbl 1502.68069 Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 107-122 (2020). MSC: 68N17 68Q42 68T37 PDFBibTeX XMLCite \textit{T. Kutsia} and \textit{C. Pau}, Lect. Notes Comput. Sci. 12042, 107--122 (2020; Zbl 1502.68069) Full Text: DOI
Kutsia, Temur Unification modulo \(\alpha\)-equivalence in a mathematical assistant system. (English) Zbl 1508.68164 Appl. Math. Inform. Mech. 25, No. 2, 66-93 (2020). MSC: 68Q42 68V15 PDFBibTeX XMLCite \textit{T. Kutsia}, Appl. Math. Inform. Mech. 25, No. 2, 66--93 (2020; Zbl 1508.68164) Full Text: Link
Dundua, Besik; Kutsia, Temur; Marin, Mircea; Rukhaia, Mikheil Specification and analysis of ABAC policies in a rule-based framework. (English) Zbl 07388320 Jaiani, George (ed.) et al., Applications of mathematics and informatics in natural sciences and engineering, AMINSE 2019. Selected papers based on the presentations at the 4th conference, Tbilisi, Georgia, September 23–26, 2019. Cham: Springer. Springer Proc. Math. Stat. 334, 101-116 (2020). MSC: 68-XX PDFBibTeX XMLCite \textit{B. Dundua} et al., Springer Proc. Math. Stat. 334, 101--116 (2020; Zbl 07388320) Full Text: DOI
Dundua, Besik; Kutsia, Temur; Marin, Mircea; Pau, Cleo Extending the \(\rho\) log calculus with proximity relations. (English) Zbl 07388319 Jaiani, George (ed.) et al., Applications of mathematics and informatics in natural sciences and engineering, AMINSE 2019. Selected papers based on the presentations at the 4th conference, Tbilisi, Georgia, September 23–26, 2019. Cham: Springer. Springer Proc. Math. Stat. 334, 83-100 (2020). MSC: 68-XX PDFBibTeX XMLCite \textit{B. Dundua} et al., Springer Proc. Math. Stat. 334, 83--100 (2020; Zbl 07388319) Full Text: DOI
Cerna, David M.; Kutsia, Temur Higher-order pattern generalization modulo equational theories. (English) Zbl 1495.03013 Math. Struct. Comput. Sci. 30, No. 6, 627-663 (2020). MSC: 03B35 03B40 68Q42 PDFBibTeX XMLCite \textit{D. M. Cerna} and \textit{T. Kutsia}, Math. Struct. Comput. Sci. 30, No. 6, 627--663 (2020; Zbl 1495.03013) Full Text: DOI
Droste, Manfred; Kutsia, Temur; Rahonis, George; Schreiner, Wolfgang McCarthy-Kleene fuzzy automata and MSO logics. (English) Zbl 1443.68087 Inf. Comput. 272, Article ID 104499, 22 p. (2020). MSC: 68Q45 03B52 03D05 PDFBibTeX XMLCite \textit{M. Droste} et al., Inf. Comput. 272, Article ID 104499, 22 p. (2020; Zbl 1443.68087) Full Text: DOI arXiv
Kotsireas, Ilias; Kutsia, Temur; Simos, Dimitris E. Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. (English) Zbl 1434.05028 Ann. Math. Artif. Intell. 88, No. 1-3, 213-236 (2020). Reviewer: Ioan Tomescu (Bucureşti) MSC: 05B15 05B20 68W30 13P10 PDFBibTeX XMLCite \textit{I. Kotsireas} et al., Ann. Math. Artif. Intell. 88, No. 1--3, 213--236 (2020; Zbl 1434.05028) Full Text: DOI
Cerna, David; Kutsia, Temur Idempotent anti-unification. (English) Zbl 1433.68188 ACM Trans. Comput. Log. 21, No. 2, Article No. 10, 32 p. (2020). MSC: 68Q42 PDFBibTeX XMLCite \textit{D. Cerna} and \textit{T. Kutsia}, ACM Trans. Comput. Log. 21, No. 2, Article No. 10, 32 p. (2020; Zbl 1433.68188) Full Text: DOI
Cerna, David M.; Kutsia, Temur A generic framework for higher-order generalizations. (English) Zbl 1528.68156 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 10, 19 p. (2019). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{D. M. Cerna} and \textit{T. Kutsia}, LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 10, 19 p. (2019; Zbl 1528.68156) Full Text: DOI
Dundua, Besik; Kutsia, Temur; Marin, Mircea Variadic equational matching. (English) Zbl 1428.68341 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 77-92 (2019). MSC: 68V15 68W30 PDFBibTeX XMLCite \textit{B. Dundua} et al., Lect. Notes Comput. Sci. 11617, 77--92 (2019; Zbl 1428.68341) Full Text: DOI
Davenport, James Harold (ed.); Kutsia, Temur (ed.) Foreword: Symbolic computation in software science. (English) Zbl 1395.00038 J. Symb. Comput. 90, 1-2 (2019). MSC: 00B15 68-06 68Nxx 68W30 00B25 PDFBibTeX XMLCite \textit{J. H. Davenport} (ed.) and \textit{T. Kutsia} (ed.), J. Symb. Comput. 90, 1--2 (2019; Zbl 1395.00038) Full Text: DOI
Alves, Sandra; Dundua, Besik; Florido, Mário; Kutsia, Temur Pattern-based calculi with finitary matching. (English) Zbl 1492.68040 Log. J. IGPL 26, No. 2, 203-243 (2018). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{S. Alves} et al., Log. J. IGPL 26, No. 2, 203--243 (2018; Zbl 1492.68040) Full Text: DOI
Cerna, David M.; Kutsia, Temur Higher-order equational pattern anti-unification. (English) Zbl 1462.68092 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 12, 17 p. (2018). MSC: 68Q42 03B40 68Q25 PDFBibTeX XMLCite \textit{D. M. Cerna} and \textit{T. Kutsia}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 12, 17 p. (2018; Zbl 1462.68092) Full Text: DOI arXiv
Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret, Mateu Term-graph anti-unification. (English) Zbl 1462.68091 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 9, 17 p. (2018). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{A. Baumgartner} et al., LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 9, 17 p. (2018; Zbl 1462.68091) Full Text: DOI
Droste, Manfred; Kutsia, Temur; Rahonis, George; Schreiner, Wolfgang MK-fuzzy automata and MSO logics. (English) Zbl 1483.68164 Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 106-120 (2017). MSC: 68Q45 03B70 PDFBibTeX XMLCite \textit{M. Droste} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 106--120 (2017; Zbl 1483.68164) Full Text: Link
Blömer, Johannes (ed.); Kotsireas, Ilias S. (ed.); Kutsia, Temur (ed.); Simos, Dimitris E. (ed.) Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. (English) Zbl 1381.68002 Lecture Notes in Computer Science 10693. Cham: Springer (ISBN 978-3-319-72452-2/pbk; 978-3-319-72453-9/ebook). xi, 462 p. (2017). MSC: 68-06 65-06 00B25 PDFBibTeX XMLCite \textit{J. Blömer} (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15--17, 2017. Proceedings. Cham: Springer (2017; Zbl 1381.68002) Full Text: DOI
Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu Nominal unification of higher order expressions with recursive let. (English) Zbl 1485.68074 Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 328-344 (2017). MSC: 68N30 68N18 68Q25 68Q42 68Q55 PDFBibTeX XMLCite \textit{M. Schmidt-Schauß} et al., Lect. Notes Comput. Sci. 10184, 328--344 (2017; Zbl 1485.68074) Full Text: DOI arXiv
Baumgartner, Alexander; Kutsia, Temur Unranked second-order anti-unification. (English) Zbl 1372.68152 Inf. Comput. 255, Part 2, 262-286 (2017). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Baumgartner} and \textit{T. Kutsia}, Inf. Comput. 255, Part 2, 262--286 (2017; Zbl 1372.68152) Full Text: DOI
Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret, Mateu Higher-order pattern anti-unification in linear time. (English) Zbl 1407.68089 J. Autom. Reasoning 58, No. 2, 293-310 (2017). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{A. Baumgartner} et al., J. Autom. Reasoning 58, No. 2, 293--310 (2017; Zbl 1407.68089) Full Text: DOI
Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang Theorema 2.0: computer-assisted natural-style mathematics. (English) Zbl 1451.68319 J. Formaliz. Reason. 9, No. 1, 149-185 (2016). MSC: 68V15 PDFBibTeX XMLCite \textit{B. Buchberger} et al., J. Formaliz. Reason. 9, No. 1, 149--185 (2016; Zbl 1451.68319) Full Text: DOI
Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea CLP(\(\mathsf{H}\)): constraint logic programming for hedges. (English) Zbl 1379.68057 Theory Pract. Log. Program. 16, No. 2, 141-162 (2016). MSC: 68N17 68Q55 68T20 PDFBibTeX XMLCite \textit{B. Dundua} et al., Theory Pract. Log. Program. 16, No. 2, 141--162 (2016; Zbl 1379.68057) Full Text: DOI arXiv
Kotsireas, Ilias; Kutsia, Temur; Simos, Dimitris E. Constructing orthogonal designs in powers of two: Gröbner bases meet equational unification. (English) Zbl 1366.68122 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 241-256 (2015). MSC: 68Q42 05B15 13P10 PDFBibTeX XMLCite \textit{I. Kotsireas} et al., LIPIcs -- Leibniz Int. Proc. Inform. 36, 241--256 (2015; Zbl 1366.68122) Full Text: DOI
Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret, Mateu Nominal anti-unification. (English) Zbl 1366.68106 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 57-73 (2015). MSC: 68Q42 68Q25 PDFBibTeX XMLCite \textit{A. Baumgartner} et al., LIPIcs -- Leibniz Int. Proc. Inform. 36, 57--73 (2015; Zbl 1366.68106) Full Text: DOI
Kutsia, Temur; Marin, Mircea Regular expression order-sorted unification and matching. (English) Zbl 1456.68073 J. Symb. Comput. 67, 42-67 (2015). MSC: 68Q42 68Q17 68Q45 PDFBibTeX XMLCite \textit{T. Kutsia} and \textit{M. Marin}, J. Symb. Comput. 67, 42--67 (2015; Zbl 1456.68073) Full Text: DOI
Kutsia, Temur; Levy, Jordi; Villaret, Mateu Anti-unification for unranked terms and hedges. (English) Zbl 1331.68122 J. Autom. Reasoning 52, No. 2, 155-190 (2014). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{T. Kutsia} et al., J. Autom. Reasoning 52, No. 2, 155--190 (2014; Zbl 1331.68122) Full Text: DOI
Baumgartner, Alexander; Kutsia, Temur A library of anti-unification algorithms. (English) Zbl 1432.68426 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 543-557 (2014). MSC: 68T27 68V35 PDFBibTeX XMLCite \textit{A. Baumgartner} and \textit{T. Kutsia}, Lect. Notes Comput. Sci. 8761, 543--557 (2014; Zbl 1432.68426) Full Text: DOI
Baumgartner, Alexander; Kutsia, Temur Unranked second-order anti-unification. (English) Zbl 1372.68151 Kohlenbach, Ulrich (ed.) et al., Logic, language, information, and computation. 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1–4, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44144-2/pbk). Lecture Notes in Computer Science 8652, 66-80 (2014). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Baumgartner} and \textit{T. Kutsia}, Lect. Notes Comput. Sci. 8652, 66--80 (2014; Zbl 1372.68151) Full Text: DOI
Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea Constraint logic programming for hedges: a semantic reconstruction. (English) Zbl 1416.68031 Codish, Michael (ed.) et al., Functional and logic programming. 12th international symposium, FLOPS 2014, Kanazawa, Japan, June 4–6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8475, 285-301 (2014). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{B. Dundua} et al., Lect. Notes Comput. Sci. 8475, 285--301 (2014; Zbl 1416.68031) Full Text: DOI
Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret, Mateu A variant of higher-order anti-unification. (English) Zbl 1356.68117 van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 113-127 (2013). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{A. Baumgartner} et al., LIPIcs -- Leibniz Int. Proc. Inform. 21, 113--127 (2011; Zbl 1356.68117) Full Text: DOI
Kutsia, Temur; Levy, Jordi; Villaret, Mateu Anti-unification for unranked terms and hedges. (English) Zbl 1236.68137 Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 219-234, electronic only (2011). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{T. Kutsia} et al., LIPIcs -- Leibniz Int. Proc. Inform. 10, 219--234 (2011; Zbl 1236.68137) Full Text: DOI Link
Marin, Mircea; Kutsia, Temur On the computation of quotients and factors of regular languages. (English) Zbl 1267.68137 Front. Comput. Sci. China 4, No. 2, 173-184 (2010). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Marin} and \textit{T. Kutsia}, Front. Comput. Sci. China 4, No. 2, 173--184 (2010; Zbl 1267.68137) Full Text: DOI
Kutsia, Temur; Marin, Mircea Order-sorted unification with regular expression sorts. (English) Zbl 1236.68174 Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 193-208, electronic only (2010). MSC: 68Q45 03B70 PDFBibTeX XMLCite \textit{T. Kutsia} and \textit{M. Marin}, LIPIcs -- Leibniz Int. Proc. Inform. 6, 193--208 (2010; Zbl 1236.68174) Full Text: DOI Link
Marin, Mircea; Kutsia, Temur Regular hedge language factorization revisited. (English) Zbl 1250.68171 Gao, Yuan (ed.) et al., Developments in language theory. 14th international conference, DLT 2010, London, ON, Canada, August 17–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14454-7/pbk). Lecture Notes in Computer Science 6224, 328-339 (2010). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Marin} and \textit{T. Kutsia}, Lect. Notes Comput. Sci. 6224, 328--339 (2010; Zbl 1250.68171) Full Text: DOI
Kutsia, Temur; Levy, Jordi; Villaret, Mateu On the relation between context and sequence unification. (English) Zbl 1194.68224 J. Symb. Comput. 45, No. 1, 74-95 (2010). MSC: 68T30 68Q42 PDFBibTeX XMLCite \textit{T. Kutsia} et al., J. Symb. Comput. 45, No. 1, 74--95 (2010; Zbl 1194.68224) Full Text: DOI
Kutsia, Temur Flat matching. (English) Zbl 1152.68059 J. Symb. Comput. 43, No. 12, 858-873 (2008). MSC: 68W30 PDFBibTeX XMLCite \textit{T. Kutsia}, J. Symb. Comput. 43, No. 12, 858--873 (2008; Zbl 1152.68059) Full Text: DOI
Kutsia, Temur; Levy, Jordi; Villaret, Mateu Sequence unification through Currying. (English) Zbl 1196.68111 Baader, Franz (ed.), Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73447-5/pbk). Lecture Notes in Computer Science 4533, 288-302 (2007). MSC: 68Q42 PDFBibTeX XMLCite \textit{T. Kutsia} et al., Lect. Notes Comput. Sci. 4533, 288--302 (2007; Zbl 1196.68111) Full Text: DOI
Kutsia, Temur Solving equations with sequence variables and sequence functions. (English) Zbl 1124.68121 J. Symb. Comput. 42, No. 3, 352-388 (2007). MSC: 68W30 03B35 68T15 PDFBibTeX XMLCite \textit{T. Kutsia}, J. Symb. Comput. 42, No. 3, 352--388 (2007; Zbl 1124.68121) Full Text: DOI
Marin, Mircea; Kutsia, Temur Foundations of the rule-based system \(\rho\,\text{Log}\). (English) Zbl 1184.68175 J. Appl. Non-Class. Log. 16, No. 1-2, 151-168 (2006). MSC: 68N30 68Q42 68T15 PDFBibTeX XMLCite \textit{M. Marin} and \textit{T. Kutsia}, J. Appl. Non-Class. Log. 16, No. 1--2, 151--168 (2006; Zbl 1184.68175) Full Text: DOI
Buchberger, Bruno; Crǎciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang Theorema: Towards computer-aided mathematical theory exploration. (English) Zbl 1107.68095 J. Appl. Log. 4, No. 4, 470-504 (2006). MSC: 68T15 13P10 PDFBibTeX XMLCite \textit{B. Buchberger} et al., J. Appl. Log. 4, No. 4, 470--504 (2006; Zbl 1107.68095) Full Text: DOI
Piroi, Florina; Kutsia, Temur The Theorema environment for interactive proof development. (English) Zbl 1143.68581 Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 261-275 (2005). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{F. Piroi} and \textit{T. Kutsia}, Lect. Notes Comput. Sci. 3835, 261--275 (2005; Zbl 1143.68581) Full Text: DOI
Kutsia, Temur; Marin, Mircea Matching with regular constraints. (English) Zbl 1143.68590 Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 215-229 (2005). MSC: 68T20 68W05 PDFBibTeX XMLCite \textit{T. Kutsia} and \textit{M. Marin}, Lect. Notes Comput. Sci. 3835, 215--229 (2005; Zbl 1143.68590) Full Text: DOI
Marin, Mircea; Kutsia, Temur A rule-based approach to the implementation of evaluation strategies. (English) Zbl 1150.68487 An. Univ. Timiș., Ser. Mat.-Inform. 42, Spec. Iss. II, 117-134 (2004). MSC: 68T35 PDFBibTeX XMLCite \textit{M. Marin} and \textit{T. Kutsia}, An. Univ. Timiș., Ser. Mat.-Inform. 42, 117--134 (2004; Zbl 1150.68487)
Kutsia, Temur; Buchberger, Bruno Predicate logic with sequence variables and sequence function symbols. (English) Zbl 1109.68111 Asperti, Andrea (ed.) et al., Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19–21, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23029-7/pbk). Lecture Notes in Computer Science 3119, 205-219 (2004). MSC: 68T30 03B10 03B70 68T15 PDFBibTeX XMLCite \textit{T. Kutsia} and \textit{B. Buchberger}, Lect. Notes Comput. Sci. 3119, 205--219 (2004; Zbl 1109.68111) Full Text: DOI
Kutsia, Temur Solving equations involving sequence variables and sequence functions. (English) Zbl 1109.68579 Buchberger, Bruno (ed.) et al., Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23212-5/pbk). Lecture Notes in Computer Science 3249. Lecture Notes in Artificial Intelligence, 157-170 (2004). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{T. Kutsia}, Lect. Notes Comput. Sci. 3249, 157--170 (2004; Zbl 1109.68579) Full Text: DOI
Marin, Mircea; Kutsia, Temur Programming with transformation rules. (English) Zbl 1073.68818 An. Univ. Timiș., Ser. Mat.-Inform. 41, Spec. Iss., 163-175 (2003). MSC: 68T15 68T20 PDFBibTeX XMLCite \textit{M. Marin} and \textit{T. Kutsia}, An. Univ. Timiș., Ser. Mat.-Inform. 41, 163--175 (2003; Zbl 1073.68818)
Kutsia, Temur Equational prover of THEOREMA. (English) Zbl 1038.68570 Nieuwenhuis, Robert (ed.), Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9–11, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40254-3/pbk). Lect. Notes Comput. Sci. 2706, 367-379 (2003). MSC: 68T15 68Q42 PDFBibTeX XMLCite \textit{T. Kutsia}, Lect. Notes Comput. Sci. 2706, 367--379 (2003; Zbl 1038.68570) Full Text: Link
Kutsia, Temur Pattern unification with sequence variables and flexible arity symbols. (English) Zbl 1270.68130 Eklund, Patrick (ed.) et al., UNCL’2002. Unification in non-classical logics. Papers from the ICALP satellite workshop, Málaga, Spain, July 12, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 66, No. 5, 52-69 (2002). MSC: 68Q42 03B60 PDFBibTeX XMLCite \textit{T. Kutsia}, Electron. Notes Theor. Comput. Sci. 66, No. 5, 52--69 (2002; Zbl 1270.68130) Full Text: DOI
Kutsia, Temur Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. (English) Zbl 1072.68580 Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 290-304 (2002). MSC: 68T15 PDFBibTeX XMLCite \textit{T. Kutsia}, Lect. Notes Comput. Sci. 2385, 290--304 (2002; Zbl 1072.68580) Full Text: Link
Kutsia, Temur Theorem proving with sequence variables and flexible arity symbols. (English) Zbl 1023.03525 Baaz, Matthias (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2514, 278-291 (2002). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{T. Kutsia}, Lect. Notes Comput. Sci. 2514, 278--291 (2002; Zbl 1023.03525) Full Text: Link
Kutsia, T. A framework for some semantics of normal logic programs. (English) Zbl 1229.68021 Rep. Enlarged Sess. Semin. I. Vekua Inst. Appl. Math. 13, No. 4, 56-60 (1998). MSC: 68N17 03B70 68Q55 PDFBibTeX XMLCite \textit{T. Kutsia}, Rep. Enlarged Sess. Semin. I. Vekua Inst. Appl. Math. 13, No. 4, 56--60 (1998; Zbl 1229.68021)
Kutsia, T. A. On semantics and proof theory of disjunctive logic programs with classical negation. (English) Zbl 0979.68014 Appl. Math. Inform. 1, No. 1, 96-110 (1996). MSC: 68N17 68T15 68Q55 PDFBibTeX XMLCite \textit{T. A. Kutsia}, Appl. Math. Inform. 1, No. 1, 96--110 (1996; Zbl 0979.68014)