( en | de | ru )

 

Disambiguation of "Marin, Mircea"

Author of the publication

copydeleteadd this publication to your clipboard
An Open Environment for Cooperative Equational Solving.

, and . APLAS, page 163-166. (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mircea Filotti

Ion Mircea

Iulian Mircea

Mircea Radu

Mircea Vasu

 

Other publications of authors with the same name

Higher-order Lazy Narrowing Calculi in Perspective., , and . WFLP, page 238-252. (2000)A Rule-based Approach to the Decidability of Safety of ABACα., , and . SACMAT, page 173-178. ACM, (2019)A Survey of the Theorema Project., , , , , and . ISSAC, page 384-391. ACM, (1997)Constraint Logic Programming for Hedges: A Semantic Reconstruction., , , and . FLOPS, volume 8475 of Lecture Notes in Computer Science, page 285-301. Springer, (2014)Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly Scheduling., , , , and . FedCSIS, volume 35 of Annals of Computer Science and Information Systems, page 615-625. (2023)An Open Environment for Cooperative Equational Solving., and . APLAS, page 163-166. (2000)Constraint Functional Logic Programming for Origami Construction., , and . APLAS, volume 2895 of Lecture Notes in Computer Science, page 73-88. Springer, (2003)A Generic Programming Environment for High-Performance Mathematical Libraries., , , and . Generic Programming, volume 1766 of Lecture Notes in Computer Science, page 256-268. Springer, (1998)On Reducing the Search Space of Higher-Order Lazy Narrowing., , and . Fuji International Symposium on Functional and Logic Programming, volume 1722 of Lecture Notes in Computer Science, page 319-334. Springer, (1999)Learning Cover Context-Free Grammars from Structural Data., and . ICTAC, volume 8687 of Lecture Notes in Computer Science, page 241-258. Springer, (2014)