Decidability - PDFSEARCH.IO - Document Search Engine

Decidability
Results: 108

#	Item
81	[removed]Computer Science Colloquia Some Decidability Results for Asynchronous System Verification Samik Basu Associate Professor, Director of Software Engineering Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-10-21 10:18:08 Proof theory John Vincent Atanasoff Decidability Realizability FIFO Distributed computing Message passing Concurrent computing Inter-process communication Computing
82	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-05-09 10:09:21 Computability theory Theory of computation Automata theory Models of computation Church–Turing thesis Algorithm Decidability Finite-state machine P Theoretical computer science Computer science Applied mathematics
83	Decidability Results on the Existence of Lookahead Delegators for NFA Christof Löding and Stefan Repke Lehrstuhl für Informatik 7, RWTH Aachen, Aachen, Germany Abstract Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-02-07 10:22:52 Complexity classes Applied mathematics Nondeterministic finite automaton Deterministic finite automaton Lookahead PSPACE-complete NP Theoretical computer science Automata theory Models of computation
84	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-08 11:06:55 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
85	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-12-02 12:39:02 Mathematics Automata theory Models of computation Theory of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Computability theory
86	Constructive decidability of classical continuity Mart´ın H. Escard´o Version of January 9, 2013 Abstract We show that the following instance of the principle of excluded middle Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-01-09 04:21:20 Calculus Lipschitz maps Continuous function Uniform continuity Modulus of continuity Metric space Constructive analysis Ordinal number Uniform convergence Mathematical analysis Mathematics Topology
87	Quantification over events in probability logic and its applications to elementary analysis Stanislav O. Speranski Probably the most popular formal language in the philosophy of mathematics is that of the second order ar Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-07 12:35:07 Metalogic Computational complexity theory Proof theory Descriptive complexity Finite model theory Quantification Model theory Decidability Well-formed formula Logic Theoretical computer science Mathematical logic
88	SYMBOLIC LOGIC Proposed Course Syllabus Instructor: Brian Robinson Email: [removed] Website: www.brobinson.info Add to Reading List Source URL: www.brobinson.info Language: English - Date: 2013-11-12 10:07:55 Model theory First-order logic Valuation Propositional calculus Truth Decidability Logic Mathematical logic Philosophy
89	Decidability of Definability Manuel Bodirsky ´ CNRS / LIX, Ecole Polytechnique Joint work with Michael Pinsker and Todor Tsankov Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-10-17 13:03:59 Constructible universe Definable real number Model theory Structure Universal algebra
90	WG 14 Document: N1715 ISO/IEC P DTS 1 7961Editors R eport 1. Add informative Annex D “Decidability of Rules” 2. For the Netherlands, changed the word "discovering" to "detecting" in section[removed]Fo Add to Reading List Source URL: www.open-std.org Language: English - Date: 2013-05-20 23:47:52 Procedural programming languages Pointer C Computing Software engineering Computer programming

UPDATE