Decidability - PDFSEARCH.IO - Document Search Engine

Decidability
Results: 108

#	Item
91	Networks of Relations Thesis by Matthew Cook Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2005-06-09 03:53:09 Metalogic Complexity classes Mathematical logic Proof theory Structural complexity theory Reduction Petri net PP Decidability Theoretical computer science Computational complexity theory Mathematics
92	[removed]): Manuscript for presentation at IPSJ-SIGPRO, 8 June[removed]Regular Paper Decidability and Undecidability Results of Modal µ-calculi with N1 Semantics Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Symbol Interpretation Mathematics Metalogic Linear temporal logic Spectral theory of ordinary differential equations Formal languages Logic Model theory
93	arXiv:0907.0216v2 [physics.gen-ph] 23 Jan[removed]The non-unique Universe Gordon McCabe January 23, 2010 Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-01-23 06:27:15 Theoretical physics Model theory Metalogic Quantum mechanics Multiverse Mathematical logic String theory Theory of everything Decidability Physics Science Physical cosmology
94	GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY CARL G. JOCKUSCH, JR. AND PAUL E. SCHUPP Abstract. Generic decidability has been extensively studied in group theory, and we now study it in the context of cl Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2013-02-15 20:06:55 Mathematics Computer science Computable function Recursive set Computation in the limit Generic-case complexity Turing reduction Halting problem Blum axioms Computability theory Theoretical computer science Theory of computation
95	A. Mostowski Centenary Warsaw, October 2013 Andrzej Mostowski November 1, [removed]August 22, 1975 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-10-18 06:12:05 Mathematical logic Andrzej Mostowski Mostowski Alfred Tarski Kazimierz Kuratowski Interpretability Decidability Adolf Lindenbaum Solomon Feferman Mathematics Proof theory Logic
96	The Role of Decidability in First Order Separations over Classes of Finite Structures Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:31 Mathematical logic Complexity classes Computational complexity theory FO Descriptive complexity Model theory SO Descriptive complexity theory P Theoretical computer science Finite model theory Mathematics
97	Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Logical syntax Proof theory Formal languages Decidability Atomic model Theory Well-formed formula Recursive languages and sets Logic Metalogic Model theory
98	Under consideration for publication in Math. Struct. in Comp. Science An introduction to decidability of Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:11:51 Applied mathematics Simply typed lambda calculus Theory of computation Theoretical computer science Computer science Lambda calculus
99	Decidability of Bisimulation Equivalence for Pushdown Processes Colin Stirling Division of Informatics University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:59:44 Applied mathematics Computer science Deterministic pushdown automaton Bisimulation Computability Context-free language Finite-state machine Automata theory Models of computation Theoretical computer science
100	Decidability of DPDA equivalence Colin Stirling Division of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:56:31 Symbol Ordinal number Admissible rule Modal logic Constructible universe

UPDATE