3552 search results - page 94 / 711 » Proof theory in the abstract |
184
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
169
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
168
click to vote
IAT
2008
IEEE
16 years 23 days ago
2008
IEEE
We develop strategy/false-name-proof multi-unit auction protocols for non-quasi-linear utilities. One almost universal assumption in auction theory literature is that each bidder ...
140
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...
122
click to vote
SCHOLARPEDIA
2008
15 years 5 months ago
2008
ABSTRACT. We give a proof of the Sharkovsky Theorem that is selfcontained, short and direct and that illuminates the doubling structure of the Sharkovsky ordering.