Search Sciweavers | Sciweavers

3333 search results - page 10 / 667

» Abstract Proof Search

click to vote

CORR
2010
Springer

85views Education» more CORR 2010»

A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction

13 years 9 months ago

Download fmcad10.iaik.tugraz.at

nd Counterexample-Based Abstraction Niklas Een, Alan Mishchenko EECS Department, University of California Berkeley, USA. Nina Amla Cadence Research Laboratroy Berkeley, USA. This p...

Niklas Eén, Alan Mishchenko, Nina Amla

claim paper

Read More »

click to vote

DALT
2008
Springer

183views Intelligent Agents» more DALT 2008»

Abstracting and Verifying Strategy-Proofness for Auction Mechanisms

13 years 11 months ago

Download www.di.unito.it

ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...

Emmanuel M. Tadjouddine, Frank Guerin, Wamberto We...

claim paper

Read More »

click to vote

APAL
2002

56views more APAL 2002»

Proof theory in the abstract

13 years 9 months ago

Download www.dpmms.cam.ac.uk

eory in the Abstract J. M. E. Hyland June 7, 2001 Dedicated to Anne Troelstra on the occasion of his 60th birthday: with great affection and respect, this small tribute to his infl...

J. M. E. Hyland

claim paper

Read More »

click to vote

TACAS
2010
Springer

153views Algorithms» more TACAS 2010»

Simplifying Linearizability Proofs with Reduction and Abstraction

14 years 4 months ago

Download network.ku.edu.tr

Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi...

claim paper

Read More »