Karl N. Levitt

Available identifiers

zbMath Open levitt.karl-nMaRDI QIDQ1285658

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3024895	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4474068	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4425845	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q2765466	2002-01-24	Paper
Formal verification of a programming logic for a distributed programming language	1999-04-28	Paper
Reasoning about programs	1974-01-01	Paper
An Organization for a Highly Survivable Memory	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068058	1973-01-01	Paper
Cellular arrays for the solution of graph problems	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5683688	1972-01-01	Paper
A survey of progress in coding theory in the Soviet Union	1969-01-01	Paper
Cellular arrays for the parallel implementation of binary error-correcting codes	1969-01-01	Paper
Cellular Interconnection Arrays	1968-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: Karl N. Levitt