Dean Rosenzweig

From MaRDI portal
Person:1899137

Available identifiers

zbMath Open rosenzweig.deanMaRDI QIDQ1899137

List of research outcomes





PublicationDate of PublicationType
Abstract State Machines 2004. Advances in Theory and Practice2009-04-30Paper
Interactive Small-Step Algorithms I: Axiomatization2008-04-01Paper
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem2008-04-01Paper
Trustworthy Global Computing2006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q44136922003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q27537062001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q48739921996-08-18Paper
A mathematical definition of full Prolog1996-02-20Paper
https://portal.mardi4nfdi.de/entity/Q48390291995-07-13Paper
https://portal.mardi4nfdi.de/entity/Q42825841994-08-21Paper
https://portal.mardi4nfdi.de/entity/Q42832381994-04-04Paper
https://portal.mardi4nfdi.de/entity/Q37490471985-01-01Paper

Research outcomes over time

This page was built for person: Dean Rosenzweig

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