Search for:Research Project: Generalization ALgorithms and Applications
Publication category: Technical Reports
Found 18 matching records
- 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). April 2021. [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). April 2021. [doi] [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]
- 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, 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]
- 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. 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]
- David M. Cerna. Primitive Recursive Proof Systems for Arithmetic. RISC. Technical report, January 2018. In revision. [pdf] [pdf] [bib]
- David M. Cerna and Temur Kutsia. Idempotent Generalization is Infinitary. RISC. Technical report, RISC Report, 2018. [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]
- 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 and Alexander Leitsch and Anela Lolic . A Resolution Calculus for Recursive Clause Sets: Extended Version. Submitted to the RISC Report Series. Technical Report, April 2018. [pdf] [bib]
- David M. Cerna. An Incompleteness Result for Loop Discovery Based Recursive Provers: [Preprint]}. Submitted to the RISC Report Series. RISC Report, july 2018. [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]
- 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]
webmaster