×

zbMATH — the first resource for mathematics

Ernst, George W.

Compute Distance To:
Author ID: ernst.george-w Recent zbMATH articles by "Ernst, George W."
Published as: Ernst, George W.; Ernst, G. W.; Ernst, G.
Documents Indexed: 13 Publications since 1961, including 1 Book

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 33 times in 26 Documents Cited by Year
GPS: A case in generality and problem solving. Zbl 0187.13302
Ernst, George W.; Newell, Allen
17
1969
Sufficient conditions for the success of GPS. Zbl 0191.18206
Ernst, G. W.
6
1969
Mechanical discovery of classes of problem-solving strategies. Zbl 0477.68101
Ernst, George W.; Goldstein, Michael M.
4
1982
The utility of independent subgoals in theorem proving. Zbl 0218.68019
Ernst, G. W.
3
1971
Specification of abstract data types in MODULA. Zbl 0468.68020
Ernst, George W.; Ogden, William F.
1
1980
Formal program verification using symbolic execution. Zbl 0469.68011
Dannenberg, Roger B.; Ernst, George W.
1
1982
The use of higher order logic in program verification. Zbl 0329.68076
Ernst, George W.; Hookway, Raymond J.
1
1976
Mechanical discovery of classes of problem-solving strategies. Zbl 0477.68101
Ernst, George W.; Goldstein, Michael M.
4
1982
Formal program verification using symbolic execution. Zbl 0469.68011
Dannenberg, Roger B.; Ernst, George W.
1
1982
Specification of abstract data types in MODULA. Zbl 0468.68020
Ernst, George W.; Ogden, William F.
1
1980
The use of higher order logic in program verification. Zbl 0329.68076
Ernst, George W.; Hookway, Raymond J.
1
1976
The utility of independent subgoals in theorem proving. Zbl 0218.68019
Ernst, G. W.
3
1971
GPS: A case in generality and problem solving. Zbl 0187.13302
Ernst, George W.; Newell, Allen
17
1969
Sufficient conditions for the success of GPS. Zbl 0191.18206
Ernst, G. W.
6
1969

Citations by Year