×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [set of prolog rules]
Home >
set of prolog rules
Haskell
422 views
An Efficient Cryptographic Protocol Verifier Based on Prolog Rules by Bruno Blanchet Presented by Hai Lin 04/12/2005.
213 views