Samuel Kamin

From MaRDI portal
Person:580953

Available identifiers

zbMath Open kamin.samuel-nMaRDI QIDQ580953

List of research outcomes





PublicationDate of PublicationType
An Introduction to Programming with Mathematica®2005-02-02Paper
https://portal.mardi4nfdi.de/entity/Q27211032001-07-01Paper
https://portal.mardi4nfdi.de/entity/Q43987761998-07-26Paper
https://portal.mardi4nfdi.de/entity/Q43987621998-07-26Paper
https://portal.mardi4nfdi.de/entity/Q47168251996-11-28Paper
https://portal.mardi4nfdi.de/entity/Q48553451996-04-16Paper
https://portal.mardi4nfdi.de/entity/Q48583771995-12-13Paper
https://portal.mardi4nfdi.de/entity/Q42762521994-01-18Paper
On the power of abstract interpretation1993-11-15Paper
Head-strictness is not a monotonic abstract property1992-09-26Paper
The expressive theory of stacks1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33457491984-01-01Paper
Final Data Types and Their Specification1983-01-01Paper
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language1979-01-01Paper

Research outcomes over time

This page was built for person: Samuel Kamin

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