J. G. Mitchell

From MaRDI portal

Revision as of 10:46, 24 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:1249428

Jump to:navigation, search

Available identifiers

zbMath Open mitchell.j-gMaRDI QIDQ1249428

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
https://portal.mardi4nfdi.de/entity/Q4184271	1979-01-01	Paper
Proof rules for the programming language Euclid	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4045617	1974-01-01	Paper

Research outcomes over time

This page was built for person: J. G. Mitchell

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1249428&oldid=6019523"