1![Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3](https://www.pdfsearch.io/img/02e0864d490b9b2e71d448da9087832a.jpg) | Add to Reading ListSource URL: repository.ist.ac.atLanguage: English - Date: 2018-02-08 07:01:31
|
---|
2![Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2 Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2](https://www.pdfsearch.io/img/74f7ba0eb998be71174387ac974ca9b6.jpg) | Add to Reading ListSource URL: www.georg.weissenbacher.scienceLanguage: English - Date: 2013-06-17 11:22:26
|
---|
3![Information Structures, the Witsenhausen Counterexample, and Communicating Using Actions Pulkit Grover, Carnegie Mellon University Abstract The concept of “information-structures” in decentralized control is a formal Information Structures, the Witsenhausen Counterexample, and Communicating Using Actions Pulkit Grover, Carnegie Mellon University Abstract The concept of “information-structures” in decentralized control is a formal](https://www.pdfsearch.io/img/dba3970c3c03fc4bc6ddbf1e7dd5199f.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-09-08 22:18:19
|
---|
4![When is an example a counterexample? [Extended Abstract] Eric Pacuit Arthur Paul Pedersen When is an example a counterexample? [Extended Abstract] Eric Pacuit Arthur Paul Pedersen](https://www.pdfsearch.io/img/2f24dcdc49f6ae1e785377f99144c1cd.jpg) | Add to Reading ListSource URL: www.tark.orgLanguage: English - Date: 2013-03-23 12:13:27
|
---|
5![A Counterexample Regarding Labelled Well-Quasi-Ordering Robert Brignall Michael Engen and Vincent Vatter˚ A Counterexample Regarding Labelled Well-Quasi-Ordering Robert Brignall Michael Engen and Vincent Vatter˚](https://www.pdfsearch.io/img/bd84b202fe8cfd2e85fb5ea9e8244ca0.jpg) | Add to Reading ListSource URL: users.mct.open.ac.ukLanguage: English - Date: 2017-09-28 12:11:34
|
---|
6![arXiv:1307.7765v3 [math.AG] 9 AugA counterexample to the geometric Chevalley-Warning conjecture June Huh Abstract arXiv:1307.7765v3 [math.AG] 9 AugA counterexample to the geometric Chevalley-Warning conjecture June Huh Abstract](https://www.pdfsearch.io/img/87dbf6f9daf908db86fdab29d564e8c6.jpg) | Add to Reading ListSource URL: web.math.princeton.eduLanguage: English - Date: 2016-09-19 01:23:04
|
---|
7![Sosa on Safety and Epistemic Frankfurt Cases Juan Comesaña 1. Introduction Much work in epistemology in the aftermath of Gettier’s counterexample to the justified true belief account of knowledge was concerned with th Sosa on Safety and Epistemic Frankfurt Cases Juan Comesaña 1. Introduction Much work in epistemology in the aftermath of Gettier’s counterexample to the justified true belief account of knowledge was concerned with th](https://www.pdfsearch.io/img/af34cdb18bf0cbd2deec1254590fcd2e.jpg) | Add to Reading ListSource URL: comesana.arizona.eduLanguage: English - Date: 2017-09-27 15:35:36
|
---|
8![A counterexample to the local-global principle of linear dependence for abelian varieties Peter Jossen and Antonella Perucca Abstract Let A be an abelian variety defined over a number field k. Let P be a point in A(k) an A counterexample to the local-global principle of linear dependence for abelian varieties Peter Jossen and Antonella Perucca Abstract Let A be an abelian variety defined over a number field k. Let P be a point in A(k) an](https://www.pdfsearch.io/img/8f59f36895331148178ff0ef3518b343.jpg) | Add to Reading ListSource URL: www.jossenpeter.chLanguage: English - Date: 2013-02-20 08:17:28
|
---|
9![A COUNTEREXAMPLE TO THE RECONSTRUCTION CONJECTURE FOR LOCALLY FINITE TREES arXiv:1606.02926v1 [math.CO] 9 JunNATHAN BOWLER, JOSHUA ERDE, PETER HEINIG, FLORIAN LEHNER, MAX PITZ A COUNTEREXAMPLE TO THE RECONSTRUCTION CONJECTURE FOR LOCALLY FINITE TREES arXiv:1606.02926v1 [math.CO] 9 JunNATHAN BOWLER, JOSHUA ERDE, PETER HEINIG, FLORIAN LEHNER, MAX PITZ](https://www.pdfsearch.io/img/09b79e9af1bfaaec33f4ab860d2b8c95.jpg) | Add to Reading ListSource URL: www.florian-lehner.netLanguage: English - Date: 2016-06-15 08:46:44
|
---|
10![¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION ¨ GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION](https://www.pdfsearch.io/img/9f663db65a17c1d6971d6e09f56a6e61.jpg) | Add to Reading ListSource URL: home.uchicago.eduLanguage: English - Date: 2005-08-08 21:51:44
|
---|