Person:1169284

Available identifiers

zbMath Open ernst.george-wMaRDI QIDQ1169284

List of research outcomes

Publication	Date of Publication	Type
Verification of programs with procedure-type parameters	1982-01-01	Paper
Formal Program Verification Using Symbolic Execution	1982-01-01	Paper
Mechanical Discovery of Classes of Problem-Solving Strategies	1982-01-01	Paper
Specification of Abstract Data Types in Modula	1980-01-01	Paper
Rules of inference for procedure calls	1977-01-01	Paper
A Definition-Driven Theorem Prover	1976-01-01	Paper
The Use of Higher Order Logic in Program Verification	1976-01-01	Paper
Strategy construction using homomorphisms between games	1972-01-01	Paper
The utility of independent subgoals in theorem proving	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5609736	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5578546	1969-01-01	Paper
Sufficient Conditions for the Success of GPS	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3269792	1961-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: George W. Ernst