| Publication | Date of Publication | Type |
|---|
A Rule-Based System for Computation and Deduction in Mathematica
1517.68425 | 2022-12-22 | Paper |
scientific article; zbMATH DE number 7471714 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471714 (Why is no real title available?) | 2022-02-09 | Paper |
| Extending the \(\rho\) log calculus with proximity relations | 2021-08-30 | Paper |
| Specification and analysis of ABAC policies in a rule-based framework | 2021-08-30 | Paper |
Variadic equational matching in associative and commutative theories
Journal of Symbolic Computation | 2021-06-03 | Paper |
| Variadic equational matching | 2020-01-22 | Paper |
| Interactive Particle Systems on Hypergraphs, Drift Analysis and the WalkSAT algorithm | 2019-09-26 | Paper |
Learning cover context-free grammars from structural data
Scientific Annals of Computer Science | 2019-02-08 | Paper |
CLP(\(\mathsf{H}\)): constraint logic programming for hedges
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Learning Cover Context-Free Grammars from Structural Data
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Regular expression order-sorted unification and matching
Journal of Symbolic Computation | 2014-09-11 | Paper |
Constraint logic programming for hedges: a semantic reconstruction
Functional and Logic Programming | 2014-07-24 | Paper |
Computational origami construction as constraint solving and rewriting
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
| Deduction and presentation in \(\rho\)Log | 2013-09-09 | Paper |
On the computation of quotients and factors of regular languages
Frontiers of Computer Science in China | 2013-07-04 | Paper |
| Order-Sorted Unification with Regular Expression Sorts. | 2012-04-25 | Paper |
Computational construction of a maximum equilateral triangle inscribed in an origami
Lecture Notes in Computer Science | 2010-09-14 | Paper |
Regular hedge language factorization revisited
Developments in Language Theory | 2010-08-31 | Paper |
Constraint functional logic programming for origami construction.
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Foundations of the rule-based system \(\rho\,\text{Log}\)
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
| Matching with membership constraints for hedge and context variables | 2009-10-27 | Paper |
Matching with Regular Constraints
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
| A rule-based approach to the implementation of evaluation strategies | 2007-01-22 | Paper |
| scientific article; zbMATH DE number 2217823 (Why is no real title available?) | 2005-10-26 | Paper |
| scientific article; zbMATH DE number 2217819 (Why is no real title available?) | 2005-10-26 | Paper |
| scientific article; zbMATH DE number 2217742 (Why is no real title available?) | 2005-10-26 | Paper |
| scientific article; zbMATH DE number 2098735 (Why is no real title available?) | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2086320 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2000434 (Why is no real title available?) | 2003-11-03 | Paper |
| scientific article; zbMATH DE number 1822269 (Why is no real title available?) | 2002-10-31 | Paper |
| scientific article; zbMATH DE number 1696603 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1502127 (Why is no real title available?) | 2001-01-04 | Paper |
| scientific article; zbMATH DE number 1254011 (Why is no real title available?) | 1999-05-30 | Paper |
