Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Nogin, Aleksey - HRL Laboratories, LLC, Malibu, CA
Improving the Efficiency of Nuprl Proofs Aleksey Nogin
A Mechanism for Sequential Consistency in a Distributed Objects System
A Mechanism for Sequential Consistency in a Distributed Objects System
Improving the Efficiency of Nuprl Proofs Aleksey Nogin
proof{programming proof{programming
TTL-PSS00 Preliminary Version Aleksey Nogin
