1
Published 2005
Table of Contents: ... -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Models: Ordering-Search Versus Structure-Search -- A Simple Lexicographic Ranker and Probability...
View full text
Electronic eBook