Decidability - PDFSEARCH.IO - Document Search Engine

Decidability
Results: 108

#	Item
51	BRICS Basic Research in Computer Science BRICS DS-00-6 J. G. Henriksen: Logics and Automata for Verification: Expressiveness and Decidability Issues Add to Reading List Source URL: www.brics.dk - Date: 2001-09-12 09:39:37
52	Cut-elimination and the decidability of reachability in alternating pushdown systems Gilles Dowek, Ying Jiang To cite this version: Gilles Dowek, Ying Jiang. Cut-elimination and the decidability of reachability in altern Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-02-03 09:07:16
53	Lecture 2. Decidability and Verification model temporal property Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:11
54	Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules? Technical Report 3011, Institute AIFB, KIT Markus Krötzsch and Sebastian Rudolph University of Oxfor Add to Reading List Source URL: korrekt.org Language: English - Date: 2012-03-20 09:42:10
55	Robot Games Laurent Doyen and Alexander Rabinovich June 16th, 2011 We present robot games, and we give the simplest definitions for which decidability is not known. 1. Definition. Let U, V ⊆ Z2 be two finite sets of tw Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-09-28 04:57:17
56	6.045J Lecture 7: Decidability Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2015-05-24 22:10:44
57	Decidability of trace equivalence for protocols with nonces R´emy Chr´etien∗ † , V´eronique Cortier∗ , and St´ephanie Delaune † Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-28 08:43:13 Modal logic Metalogic Model theory Symbol
58	Decidability Classes for Mobile Agents Computing Pierre Fraigniaud1? and Andrzej Pelc2?? 1 CNRS and University Paris Diderot, France. Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2012-04-26 11:57:38 Connectivity Decision problem NP Graph Distributed computing Modular decomposition Bipartite graph Theoretical computer science Graph theory Mathematics
59	Research internship proposal (M2) Location : LSV (http://www.lsv.ens-cachan.fr) L2S (http://www.lss.supelec.fr) Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-12-15 06:53:26 Graph theory Economics Game theory Determinacy Conceptual model Bouyer Decidability Graph Logic Cryptographic protocols Mathematics Formal sciences
60	arXiv:1204.6671v1 [cs.LO] 30 Apr 2012 δ-Decidability over the Reals∗ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAMay 1, 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-04-30 22:29:41 Mathematical logic Theory of computation Computable number Computable function Bounded quantifier Computable real function Function Oracle machine Decision problem Computability theory Theoretical computer science Mathematics

UPDATE