( en | de | ru )

 

Disambiguation of "Bellia, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
DNA Tiles, Wang Tiles and Combinators.

, and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 1-14. CEUR-WS.org, (2013)

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.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Other publications of authors with the same name

Retractions: A Functional Paradigm for Logic Programming.. TAPSOFT, Vol.2, volume 250 of Lecture Notes in Computer Science, page 260-275. Springer, (1987)The Relation between Logic and Functional Languages: A Survey., and . J. Log. Program., 3 (3): 217-236 (1986)Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures., and . CS&P, volume 928 of CEUR Workshop Proceedings, page 49-60. CEUR-WS.org, (2012)LEAF: A Language which Integrates Logic, Equations and Functions., , , and . Logic Programming: Functions, Relations, and Equations, Prentice-Hall, (1986)On Compiling Prolog Programs on Demand Driven Architectures., , and . Logic Programming Workshop, page 518-535. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, (1983)On the Integration of Logic Programming and Functional Programming., , , and . SLP, page 160-166. IEEE-CS, (1984)Combinatory Forms for Equational Programming: Instances, Unification and Narrowing., , and . CAAP, volume 431 of Lecture Notes in Computer Science, page 42-56. Springer, (1990)Applicative communicating processes in first order logic., , , , and . Symposium on Programming, volume 137 of Lecture Notes in Computer Science, page 1-14. Springer, (1982)Distributed Control, Modularity and Data Types in a Simple Parallel Language., and . International Computing Symposium, page 441-450. North-Holland, (1977)Programming Self-Assembly of DNA Tiles., and . CS&P, volume 1269 of CEUR Workshop Proceedings, page 34-45. CEUR-WS.org, (2014)