Searching for "Partial Functions and Logics A Warning." – 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.

Main Publications
by Cliff B. Jones, D. Bjrner, W. Henhapl, H. Bekic, H. Bekic, H. Izbicki, H. Barringer, B. T. Denvir, V. A. Downes, C. B. Jones, C. B. Jones, C. B. Jones, R. A. Snowdon, M. K. Tordoff — 2000
….B. Jones. Partial functions and logics: A warning. Information Processing Letters, 54(2):65--67, 1995. [74…
Add To MetaCart

Semantic and Logical Properties of Stateful Programming
by Cristiano Calcagno, Walid Taha — 2002
… Generation. Prentice-Hall, 1993. C.B. Jones. Partial functions and logics: a warning. Inf. Proc. Letters, 54…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 2.

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