1128 search results - page 6 / 226 » Little Engines of Proof |
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
74
Voted
FASE
2005
Springer
15 years 6 months ago
2005
Springer
68
Voted
WADT
1999
Springer
15 years 4 months ago
1999
Springer
123
click to vote
CORR
2008
Springer
15 years 16 days ago
2008
Springer
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...
106
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...