Decidability - PDFSEARCH.IO - Document Search Engine

Decidability
Results: 108

#	Item
71	Spatial and Behavioural types: safety, liveness and decidability Lucia Acciai and Michele Boreale Dipartimento di Sistemi e Informatica Università degli Studi di Firenze Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:33:13 Type system Model checking Calculus Applied mathematics Computer science Mathematics Process calculi Theoretical computer science Π-calculus
72	MFPSSemi-decidability of may, must and probabilistic testing in a higher-type setting Mart´ın Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-12 05:48:53 Denotational semantics Logic in computer science Model theory Structure Μ operator Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
73	Towards decidable classes of logic programs with function symbols Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna DIMES, Università della CalabriaRende (CS), Italy {calautti,greco,cmolinaro,trub Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Metalogic Functions and mappings Predicate logic Proof theory Function Μ operator Well-formed formula Answer set programming Decidability Logic Mathematics Mathematical logic
74	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-01 05:10:06 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
75	COMS11700 Undecidability Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:34 Computability theory Theory of computation Alan Turing Turing machine Proof theory Undecidable problem Machine that always halts Decidability Church–Turing thesis Theoretical computer science Mathematics Mathematical logic
76	Decidability of Parameterized Probabilistic Information Flow Dani`ele Beauquier1 , Marie Duflot1 and Yury Lifshits2,3 1 Universit´ e Paris 12 Add to Reading List Source URL: yury.name Language: English - Date: 2007-09-04 18:24:12 Logic Algorithm Mathematical logic Theoretical computer science Decidability Flow network Mathematics Proof theory Applied mathematics
77	Decidability of Parameterized Probabilistic Information Flow 1 Assume we have a system And somebody observes a part of its behavior Add to Reading List Source URL: yury.name Language: English - Date: 2007-09-14 18:55:30 Algorithm Decidability Mathematics Applied mathematics Theoretical computer science Logic Markov chain
78	@TechReport{Stansifer:1884:PAIA, author="Ryan Stansifer", title= "Presburger’s Article on Integer Airthmetic: Remarks and Translation", number="TR84-639", institution="Cornell University, Computer Science Department", Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2007-01-22 14:30:32 Model theory Proof theory Metalogic Logic in computer science Computability theory Presburger arithmetic Quantifier elimination Decidability Jan Łukasiewicz Mathematical logic Logic Mathematics
79	Decidability of Parameterized Probabilistic Information Flow Danièle Beauquier1 , Marie Duflot1 and Yury Lifshits2 1 2 Add to Reading List Source URL: yury.name Language: English - Date: 2008-11-06 22:09:07 PP Ergodic theory Probabilistic bisimulation Probability and statistics Mathematical sciences Non-classical logic Markov models Applied mathematics Markov chain
80	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-18 10:44:50 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

UPDATE