Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-3
|
Results: 3
A MODEL FOR THE PARALLEL EXECUTION OF SUBSET-EQUATIONAL LANGUAGES
Authors:
OMONDI AR PLAISTED DA
Citation:
Ar. Omondi et Da. Plaisted, A MODEL FOR THE PARALLEL EXECUTION OF SUBSET-EQUATIONAL LANGUAGES, Future generations computer systems, 11(3), 1995, pp. 295-320
PROBLEM-SOLVING BY SEARCHING FOR MODELS WITH A THEOREM PROVER
Authors:
LEE SJ PLAISTED DA
Citation:
Sj. Lee et Da. Plaisted, PROBLEM-SOLVING BY SEARCHING FOR MODELS WITH A THEOREM PROVER, Artificial intelligence, 69(1-2), 1994, pp. 205-233
ON THE MECHANICAL DERIVATION OF LOOP INVARIANTS
Authors:
CHADHA R PLAISTED DA
Citation:
R. Chadha et Da. Plaisted, ON THE MECHANICAL DERIVATION OF LOOP INVARIANTS, Journal of symbolic computation, 15(5-6), 1993, pp. 705-744
Risultati:
1-3
|