Robert Cartwright

MaRDI QIDQ672056zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
What is a universal higher-order programming language? Automata, Languages and Programming	2019-03-29	Paper
Safe instantiation in Generic Java Science of Computer Programming	2006-10-19	Paper
scientific article; zbMATH DE number 2100551 (Why is no real title available?)	2004-09-14	Paper
scientific article; zbMATH DE number 1479618 (Why is no real title available?)	2000-07-20	Paper
Iterative belief revision in extended logic programming Theoretical Computer Science	1997-02-27	Paper
Fully abstract semantics for observably sequential languages Information and Computation	1994-06-19	Paper
scientific article; zbMATH DE number 88984 (Why is no real title available?)	1993-01-16	Paper
scientific article; zbMATH DE number 3903941 (Why is no real title available?)	1984-01-01	Paper
Recursive Programs as Definitions in First-Order Logic SIAM Journal on Computing	1984-01-01	Paper
scientific article; zbMATH DE number 3755834 (Why is no real title available?)	1982-01-01	Paper
The logic of aliasing Acta Informatica	1981-01-01	Paper

Research outcomes over time

This page was built for person: Robert Cartwright