Searching for authors named "Konrad Slind" – sorted by Relevance.
33 documents found, showing 1 through 10.
Next 10 →
-
Another Look at Nested Recursion
- … Another Look at Nested Recursion Konrad Slind Cambridge University Computer Laboratory Abstract…
- Cited by 5 (0 self) – Add To MetaCart
-
A Verification of Rijndael in HOL
- …A Verification of Rijndael in HOL Konrad Slind School of Computing, University of Utah Abstract…
- Cited by 2 (1 self) – Add To MetaCart
-
A tagged LCF-style proof architecture
- … A Tagged LCF-style Proof Architecture Konrad Slind kxs@(email omitted); Computer Laboratory…
- Cited by 1 (0 self) – Add To MetaCart
-
HOL98 Draft User's Manual - Athabasca Release - Version 2
- …HOL98 Draft User's Manual Athabasca Release Version 2 Konrad Slind kxs@(email omitted); Cambridge…
- Cited by 3 (0 self) – Add To MetaCart
-
Function definition in higher-order logic
- … Function Definition in Higher-Order Logic Konrad Slind? slind…
- Cited by 14 (0 self) – Add To MetaCart
-
Isabelle/HOL as a Platform for Partiality
- …Isabelle/HOL as a Platform for Partiality Olaf Muller and Konrad Slind y Institut fur…
- Add To MetaCart
-
Verification of Euclid’s Algorithm for Finding Multiplicative Inverses
- …Verification of Euclid’s Algorithm for Finding Multiplicative Inverses Junxing Zhang and Konrad…
- Add To MetaCart
-
A Reference Version of HOL
- …A Reference Version of HOL John Harrison 1 and Konrad Slind 2 1 University of Cambridge…
- Add To MetaCart
-
Desiderata for Interactive Verification Systems
- …Desiderata for Interactive Verification Systems DRAFT Konrad Slind and Christian Prehofer October…
- Add To MetaCart
-
The K combinator as a semantically transparent tagging mechanism
- …The K combinator as a semantically transparent tagging mechanism Konrad Slind and Michael Norrish…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
