Searching for "Proving Algorithms by Tail Functions" – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

The Discoveries of Continuations
by John C. Reynolds, A. Van Wijngaarden, A. W. Mazurkiewicz, F. L. Morris, C. P. Wadsworth, J. H. Morris, M. J. Fischer, S. K. Abdali — 1993
… at the Instytut Maszyn Matematycznych in Warsaw) circulated a working paper entitled "Proving Algorithms by Tail…
Cited by 79 (1 self) – Add To MetaCart

Showing 1 through 1.

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