Technical Reports in the frame of project 'Generalization ALgorithms and Applications'
2021
Temur Kutsia, Cleo Pau.Proximity-Based Unification and Matching for Full Fuzzy Signatures. Technical report no. 21-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
Temur Kutsia, Cleo Pau.Generalization Algorithms with Proximity Relations in Full Fuzzy Signatures. Technical report no. 21-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
2020
Besik Dundua, Temur Kutsia, Mikheil Rukhaia.Unranked Nominal Unification. Technical report no. 20-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[pdf][bib]
Temur Kutsia and Andrew M. Marshall (Editors).Proceedings of The 34th International Workshop on Unification, UNIF 2020. Technical report no. 20-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[pdf][bib]
Temur Kutsia.Unification modulo alpha-equivalence in a mathematical assistant system. Technical report no. 20-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2020.[pdf][bib]
2019
David M. Cerna and Temur Kutsia.Higher-Order Pattern Generalization Modulo Equational Theories. Submitted to the RISC Report Series. 2019.[pdf][bib]
Temur Kutsia, Cleo Pau.Computing All Maximal Clique Partitions in a Graph. Technical report no. 19-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019.[pdf][bib]
Temur Kutsia, Cleo Pau.Solving Proximity Constraints. Technical report no. 19-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019.[pdf][bib]
Temur Kutsia, Cleo Pau.Matching and Generalization Modulo Proximity and Tolerance. Technical report no. 19-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2019.[pdf][bib]
2018
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret.Term-Graph Anti-Unification. Technical report no. 18-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2018.[pdf][bib]
David M. Cerna.Primitive Recursive Proof Systems for Arithmetic. RISC. Technical report, January 2018.In revision.[pdf][pdf][bib]
David M. Cerna, Temur Kutsia.Idempotent Anti-unification . RISC. Technical report, Feb.2018.to appear in TOCL.[pdf][bib]
David M. Cerna.A General Recursive Construction for Schematic Resolution Derivations. Submitted to the RISC Report Series. 2018.[bib]
David M. Cerna and Alexander Leitsch and Anela Lolic .A Resolution Calculus for Recursive Clause Sets: Extended Version. Submitted to the RISC Report Series. Technical Report,April2018.[pdf][bib]
David M. Cerna.An Incompleteness Result for Loop Discovery Based Recursive Provers: [Preprint]}. Submitted to the RISC Report Series. RISC Report,july2018.[pdf][bib]
David M. Cerna and Temur Kutsia.Idempotent Generalization is Infinitary. RISC. Technical report, RISC Report, 2018.[pdf][bib]
2016
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer.An Overview of PρLog. Technical report no. 16-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][bib]
Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy, Mateu Villaret.Nominal Unification of Higher Order Expressions with Recursive Let. Technical report no. 16-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][bib]