( en | de | ru )

 

Disambiguation of "Marin, Mircea"

Author of the publication

copydeleteadd this publication to your clipboard
A rewrite-based computational model for functional logic programming.

, , and . SCSS, volume 39 of EPiC Series in Computing, page 95-106. EasyChair, (2016)

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

Learning Cover Context-Free Grammars from Structural Data., and . Sci. Ann. Comput. Sci., 24 (2): 253-286 (2014)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)CLP(H): Constraint Logic Programming for Hedges., , , and . CoRR, (2015)An Open Environment for Cooperative Equational Solving., and . APLAS, page 163-166. (2000)A rewrite-based computational model for functional logic programming., , and . SCSS, volume 39 of EPiC Series in Computing, page 95-106. EasyChair, (2016)Matching with Membership Constraints for Hedge and Context Variables., and . UNIF, page 55-68. (2008)Regular matching problems for infinite trees., , , , and . Log. Methods Comput. Sci., (2022)Regular expression order-sorted unification and matching., and . J. Symb. Comput., (2015)