Decidability - PDFSEARCH.IO - Document Search Engine

Decidability
Results: 108

#	Item
101	An Introduction to Decidability of DPDA Equivalence Colin Stirling Division of Informatics University of Edinburgh email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:55:33 Deterministic pushdown automaton Vertex operator algebra Models of computation Symbol Constructible universe
102	An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:18:48 Mathematical logic Type theory Logic in computer science Theory of computation Simply typed lambda calculus Free variables and bound variables Combinatory logic Type system Normalisation by evaluation Theoretical computer science Mathematics Lambda calculus
103	University of California Los Angeles Computational Complexity and Decidability of Tileability Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2013-05-14 21:06:34 Theoretical computer science Applied mathematics Mosaic Symmetry Tessellation Cellular automaton Wang tile Polyomino Rectangle Geometry Mathematics Tiling
104	Complete Axiomatizations Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2010-06-28 17:11:11 Metalogic Model theory Formal languages Proof theory Quantifier elimination Unification Well-formed formula Decidability Term algebra Logic Mathematical logic Mathematics
105	ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-11-05 20:24:12 Propositional calculus Proof theory Logical syntax First-order logic Monadic predicate calculus Decidability Well-formed formula Sequent calculus Proposition Logic Mathematical logic Predicate logic
106	IS THE CONTINUUM HYPOTHESIS A DEFINITE MATHEMATICAL PROBLEM? Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2011-10-02 02:02:57 Proof theory Continuum hypothesis Forcing Hypotheses Kurt Gödel Conjecture Set theory Decidability Truth Mathematical logic Logic Mathematics
107	Constructive decidability of classical continuity Mart´ın H. Escard´o Version of March 27, 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-03-27 05:08:05 Calculus Lipschitz maps Continuous function Uniform continuity Modulus of continuity Metric space Ordinal number Constructive analysis Hölder condition Mathematical analysis Mathematics Topology
108	PDF Document Add to Reading List Source URL: math.nju.edu.cn Language: English - Date: 2007-02-14 02:18:04 Proof theory Mathematical logic Diophantine set Computability theory Theory of computation Polynomial Recursively enumerable set Number theory Decidability Mathematics Logic Diophantine equations

UPDATE