scientific article

From MaRDI portal
Revision as of 21:38, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3034803

zbMath0692.68010MaRDI QIDQ3034803

Frank Pfenning

Publication date: 1990


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem provingconstructive type theoryprogram transformationprogram verificationabstract data typesprogram developmentproof transformationNuPrlWarshall's algorithm


Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (1)

Representing proof transformations for program optimization


Uses Software



This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3034803&oldid=16068433"
Powered by MediaWiki