Prosper
From MaRDI portal
Prosper Q14049
Cited in
(11)- PROSPER
- Verification of clock synchronization algorithms: experiments on a combination of deductive tools
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon
- Using the moving average rule in a dynamic web recommendation system
- Prosper: Developing web applications strongly integrated with Prolog
- Calife
- clock synchronization
- Schneider clock synchronization
- Providing a formal linkage between MDG and HOL
- International symposium on distributed computing and artificial intelligence 2008 (DCAI'08). Selected papers based on the presentations at the symposium, Salamanca, Spain, October 22--24, 2008
- Optimal debt contracts under costly enforcement
This page was built for software: Prosper
