RISC

JKU

RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports in the frame of project 'Generalization ALgorithms and Applications'		Publications in the frame of project 'Generalization ALgorithms and Applications'		Talks in the frame of project 'Generalization ALgorithms and Applications'

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). 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]

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]

All Years >>