BRICS Basic Research in Computer Science BRICS DS-00-6 J. G. Henriksen: Logics and Automata for Verification: Expressiveness and Decidability Issues

Source URL: www.brics.dk

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

Source URL: who.rocq.inria.fr

Lecture 2. Decidability and Verification model temporal property

Source URL: www.cis.upenn.edu

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

Source URL: korrekt.org

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

Source URL: www.lsv.ens-cachan.fr

6.045J Lecture 7: Decidability

Source URL: ocw.mit.edu

Decidability of trace equivalence for protocols with nonces R´emy Chr´etien∗ † , V´eronique Cortier∗ , and St´ephanie Delaune †

Source URL: www.lsv.ens-cachan.fr

• Modal logic
• Metalogic
• Model theory
• Symbol

Decidability Classes for Mobile Agents Computing Pierre Fraigniaud1? and Andrzej Pelc2?? 1 CNRS and University Paris Diderot, France.

Source URL: www.liafa.jussieu.fr

• Connectivity
• Decision problem
• NP
• Graph
• Distributed computing
• Modular decomposition
• Bipartite graph
• Theoretical computer science
• Graph theory
• Mathematics

Research internship proposal (M2) Location : LSV (http://www.lsv.ens-cachan.fr) L2S (http://www.lss.supelec.fr)

Source URL: www.lsv.ens-cachan.fr

• Graph theory
• Economics
• Game theory
• Determinacy
• Conceptual model
• Bouyer
• Decidability
• Graph
• Logic
• Cryptographic protocols
• Mathematics
• Formal sciences

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

Source URL: arxiv.org

• 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