Searching for "Promoting Forward Simulation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Annotated Z Bibliography
by Jonathan Bowen Oxford, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
… relations) [188] Lupton. Promotion and forward simulation [209] Morgan and Sufrin. Schema framing [310, 312…
Add To MetaCart

Annotated Z Bibliography Jonathan Bowen
by Oxford University Computing, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
…. Promotion and forward simulation [209] Morgan and Sufrin. Schema framing [310, 312] Woodcock. Proof rules…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB