Samuel Kamin

Available identifiers

zbMath Open kamin.samuel-nMaRDI QIDQ580953

List of research outcomes

Publication	Date of Publication	Type
An Introduction to Programming with Mathematica®	2005-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q2721103	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4398762	1998-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q4398776	1998-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q4716825	1996-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4855345	1996-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4858377	1995-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4276252	1994-01-18	Paper
On the power of abstract interpretation	1993-11-15	Paper
Head-strictness is not a monotonic abstract property	1992-09-26	Paper
The expressive theory of stacks	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3345749	1984-01-01	Paper
Final Data Types and Their Specification	1983-01-01	Paper
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language	1979-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: Samuel Kamin