Mircea Marin

Available identifiers

zbMath Open marin.mirceaMaRDI QIDQ351993

List of research outcomes

Publication	Date of Publication	Type
A Rule-Based System for Computation and Deduction in Mathematica	2022-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5028483	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	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	2019-02-08	Paper
CLP(\(\mathsf{H}\)): constraint logic programming for hedges	2017-11-09	Paper
Learning Cover Context-Free Grammars from Structural Data	2015-01-13	Paper
Regular expression order-sorted unification and matching	2014-09-11	Paper
Constraint logic programming for hedges: a semantic reconstruction	2014-07-24	Paper
Computational origami construction as constraint solving and rewriting	2014-03-26	Paper
Deduction and presentation in \(\rho\)Log	2013-09-09	Paper
On the computation of quotients and factors of regular languages	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	2010-09-14	Paper
Regular hedge language factorization revisited	2010-08-31	Paper
Constraint functional logic programming for origami construction.	2010-01-05	Paper
Foundations of the rule-based system \(\rho\,\text{Log}\)	2009-11-30	Paper
Matching with membership constraints for hedge and context variables	2009-10-27	Paper
Matching with Regular Constraints	2008-05-27	Paper
Mathematical Knowledge Management	2007-02-12	Paper
A rule-based approach to the implementation of evaluation strategies	2007-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5699561	2005-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q5699557	2005-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q5699476	2005-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4815317	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q3044482	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4433980	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4780213	2002-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q2766792	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4503164	2001-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4226993	1999-05-30	Paper

Research outcomes over time

This page was built for person: Mircea Marin