Decidability - PDFSEARCH.IO - Document Search Engine

Decidability
Results: 108

#	Item
61	Nonconstructive Tools for Proving Polynomial-Time Decidability MICHAEL R. Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-08-06 03:12:08 Planar graphs Graph coloring Line graph Robertson–Seymour theorem Graph theory Minor Graph operations
62	THE BYRNES–GAUGER THEOREM In 1978, C. Brynes and M. Gauger published a simple criteria for two matrices to be similar: ”Characteristic free, improved decidability criteria for the similarity problem”, Linear and Mu Add to Reading List Source URL: www.numbertheory.org Language: English - Date: 2001-02-04 01:35:33 Mathematics Multiplicative functions Algebra
63	Decidability of Systems of Set Constraints with Negative Constraints Alexander Aikeny University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:09:24 Artificial intelligence Decomposition method Constraint logic programming Constraint programming Boolean algebra Mathematics
64	Egon Borger Erich Gradel Yuri Gurevich The Classical Decision Problem Add to Reading List Source URL: www.gbv.de Language: English - Date: 2007-11-05 08:28:23 Computability theory Model theory Complexity classes Metalogic Proof theory Decision problem Decidability Satisfiability First-order logic Theoretical computer science Computational complexity theory Mathematical logic
65	Static Analysis of XML Processing with Data Values∗ Luc Segoufin INRIA and Universit´e Paris 11 http://www-rocq.inria.fr/~segoufin 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-07 05:54:56 XPath Xpath data model Decision problem First-order logic Decidability Tree automaton XPath 2.0 XPath 1.0 Computing XML Web standards
66	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 sectionFo 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
67	On Decidability of Nominal Subtyping with Variance Andrew J. Kennedy Benjamin C. Pierce Microsoft Research Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-12-22 07:18:48 Computing Computer programming Data types Polymorphism Subtype polymorphism Type system Bounded quantification Inheritance Covariance and contravariance Software engineering Object-oriented programming Type theory
68	The Ackermann Award 2005 Erich Gr¨ adel, Janos Makowsky, and Alexander Razborov Members of EACSL Jury for the Ackermann Award The Ackermann Award Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:16 Automated theorem proving Computability theory Theory of computation Computational complexity theory Logic in computer science Alexander Razborov Wilhelm Ackermann Decidability First-order logic Theoretical computer science Mathematics Logic
69	The Ackermann Award 2007 M. Grohe, M. Hyland, J.A. Makowsky, and D. Niwinski Members of EACSL Jury for the Ackermann Award? The third Ackermann Award is presented at this CSL’07. This is the first year in which the EAC Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Mathematics Decidability Presburger arithmetic Automated theorem proving Natural deduction Wilhelm Ackermann Quantifier elimination Modal logic Deep inference Proof theory Logic Mathematical logic
70	On the Decidability of Role Mappings between Modular Ontologies Jie Bao1 , George Voutsadakis2 , Giora Slutzki2 and Vasant Honavar2 Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 12180, USA. b Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2008-04-06 23:01:44 Functions and mappings Algebraic structures Artificial intelligence Description logic Information science Non-classical logic Sheaf Function Ring Mathematics Abstract algebra Algebra

UPDATE