Dean Rosenzweig

Available identifiers

zbMath Open rosenzweig.deanMaRDI QIDQ1899137

List of research outcomes

Publication	Date of Publication	Type
Abstract State Machines 2004. Advances in Theory and Practice	2009-04-30	Paper
Interactive Small-Step Algorithms I: Axiomatization	2008-04-01	Paper
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem	2008-04-01	Paper
Trustworthy Global Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4413692	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2753706	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4873992	1996-08-18	Paper
A mathematical definition of full Prolog	1996-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4839029	1995-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4282584	1994-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4283238	1994-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q3749047	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dean Rosenzweig