12774 search results - page 61 / 2555 » A Framework for Proof Systems |
LOGCOM
2010
13 years 7 months ago
2010
MFCS
2010
Springer
13 years 7 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
TAMC
2010
Springer
13 years 6 months ago
2010
Springer
IANDC
2011
13 years 3 months ago
2011
TABLEAUX
2005
Springer
14 years 2 months ago
2005
Springer
For applications of first-order automated theorem provers in a wider verification context it is essential to provide a means of presenting and checking automatically found proofs...