Searching for "Predicate Transformers and Higher Order Logic." – 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.

Functional procedures in higher-order logic
by Linas Laibinis, Linas Laibinis, Fin- Turku, Joakim Von Wright, Joakim Von Wright, Turku Centre, Computer Science — 1999 — Theorem Proving in Higher Order Logics, volume 1896 of Lect. Notes in Comp. Sci
… transformers. The existing mechanisation of predicate transformers in higher-order logic [9, 2] provides a…
Cited by 2 (0 self) – Add To MetaCart

Functional Procedures in Higher-Order Logic Linas Laibinis Joakim von Wright
by Turku Centre For, Joakim Von Wright, Linas Laibinis, Linas Laibinis, Fin- Turku
… of predicate transformers in higher-order logic [9, 2] provides a foundation for our work, and we have…
Add To MetaCart

Showing 1 through 2.

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