Regular matching problems for infinite trees
Camino, Carlos, Diekert, Volker, Dundua, Besik, Marin, Mircea, Sénizergues, Géraud
Published in Logical methods in computer science (01.02.2022)
Published in Logical methods in computer science (01.02.2022)
Get full text
Journal Article
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami
Ida, Tetsuo, Takahashi, Hidekazu, Marin, Mircea, Ghourabi, Fadoua, Kasem, Asem
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Strategies in PRholog
Dundua, Besik, Kutsia, Temur, Marin, Mircea
Published in Electronic proceedings in theoretical computer science (26.01.2010)
Published in Electronic proceedings in theoretical computer science (26.01.2010)
Get full text
Journal Article
Variadic equational matching in associative and commutative theories
Dundua, Besik, Kutsia, Temur, Marin, Mircea
Published in Journal of symbolic computation (01.09.2021)
Published in Journal of symbolic computation (01.09.2021)
Get full text
Journal Article
Proceedings Third Symposium on Working Formal Methods: Preface
Marin, Mircea, Crăciun, Adrian
Published in Electronic proceedings in theoretical computer science (02.09.2019)
Published in Electronic proceedings in theoretical computer science (02.09.2019)
Get full text
Journal Article
Enumerating All Maximal Clique-Partitions of an Undirected Graph
Marin, Mircea, Kutsia, Temur, Pau, Cleo, Rukhaia, Mikheil
Published in Electronic proceedings in theoretical computer science (22.09.2023)
Published in Electronic proceedings in theoretical computer science (22.09.2023)
Get full text
Journal Article
A Rule-Based System for Computation and Deduction in Mathematica
Marin, Mircea, Dundua, Besik, Kutsia, Temur
Published in Rewriting Logic and Its Applications (2020)
Published in Rewriting Logic and Its Applications (2020)
Get full text
Book Chapter
Message from Program Chairs
Published in 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
(11.09.2023)
Get full text
Conference Proceeding
An open environment for cooperative equational solving
Ida, Tetsuo, Marin, Mircea, Kobayashi, Norio
Published in Wuhan University journal of natural sciences (01.03.2001)
Published in Wuhan University journal of natural sciences (01.03.2001)
Get full text
Journal Article
CLP(H): Constraint logic programming for hedges
DUNDUA, BESIK, FLORIDO, MÁRIO, KUTSIA, TEMUR, MARIN, MIRCEA
Published in Theory and practice of logic programming (01.03.2016)
Published in Theory and practice of logic programming (01.03.2016)
Get full text
Journal Article
Message from the Program Chairs SYNASC 2021
Published in 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
(01.12.2021)
Get full text
Conference Proceeding