M. Eugenia Occhiuto

From MaRDI portal
Person:1208415

Available identifiers

zbMath Open occhiuto.m-eugeniaMaRDI QIDQ1208415

List of research outcomes





PublicationDate of PublicationType
Programming Self-Assembly of DNA Tiles2017-03-22Paper
DNA Tiles, Wang Tiles and Combinators2014-12-22Paper
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types2014-04-25Paper
The Equivalence of Reduction and Translation Semantics of Java Simple Closures2012-10-29Paper
Properties of Java Simple Closures2011-11-10Paper
https://portal.mardi4nfdi.de/entity/Q51929232009-08-10Paper
https://portal.mardi4nfdi.de/entity/Q55063522009-01-28Paper
https://portal.mardi4nfdi.de/entity/Q54729332006-06-19Paper
https://portal.mardi4nfdi.de/entity/Q44617532004-05-18Paper
Lazy linear combinatorial unification1999-03-30Paper
Suprema of open and closed formulas and their application to resolution1995-05-28Paper
C-expressions: A variable-free calculus for equational logic programming1993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q40276181993-02-21Paper

Research outcomes over time

This page was built for person: M. Eugenia Occhiuto

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1208415&oldid=6093849"
Powered by MediaWiki