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(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
https://portal.mardi4nfdi.de/entity/Q2847399	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
Programming Languages and Systems	2010-01-05	Paper
Foundations of the rule-based system ρLog	2009-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3638667	2009-10-27	Paper
Matching with Regular Constraints	2008-05-27	Paper
Mathematical Knowledge Management	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q3416418	2007-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5699476	2005-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q5699557	2005-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q5699561	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mircea Marin