12774 search results - page 27 / 2555 » A Framework for Proof Systems |
74
Voted
MKM
2007
Springer
15 years 8 months ago
2007
Springer
104
Voted
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
100
Voted
ANLP
2000
15 years 3 months ago
2000
125
click to vote
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
118
click to vote
IJCAI
1989
15 years 3 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...