Presburger arithmetic - PDFSEARCH.IO - Document Search Engine

Presburger arithmetic
Results: 26

#	Item
1	Deciding Presburger Arithmetic Michael Norrish National ICT Australia Michael Norrish (National ICT Australia) Add to Reading List Source URL: ssll.cecs.anu.edu.au Language: English - Date: 2009-01-19 22:49:26
2	Deciding Presburger Arithmetic Michael Norrish National ICT Australia Michael Norrish (National ICT Australia) Add to Reading List Source URL: ssll.rsise.anu.edu.au Language: English - Date: 2009-01-19 22:49:26
3	Interpolating Quantifier-Free Presburger Arithmetic Daniel Kroening1 , Jérôme Leroux2 , and Philipp Rümmer1 1 2 Oxford University Computing Laboratory, United Kingdom Add to Reading List Source URL: www.labri.fr Language: English - Date: 2014-03-17 06:03:49
4	J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version Add to Reading List Source URL: www.labri.fr Language: English - Date: 2014-03-17 06:03:51 Mathematics Algebra Mathematical logic Logic in computer science Model theory Proof theory Presburger arithmetic Time complexity Generalized arithmetic progression Polynomial Vector space Lattice
5	Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2010-04-21 04:49:56 Theoretical computer science Mathematical logic Logic Logic in computer science Automated theorem proving Formal methods Model theory Satisfiability modulo theories Automated reasoning Presburger arithmetic First-order logic Formal verification
6	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
7	(UN)DECIDABLITY Undecidable: predicate calculus, Peano arithmetic (Church) Decidable: • Presburger arithmetic (Presburger) • Elementary theory of the ordered field R (Tarski) Add to Reading List Source URL: www.mathematik.uni-muenchen.de - Date: 2008-12-22 16:55:21
8	Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan† Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2014-07-02 10:40:42 Model theory Formal languages Metalogic First-order logic Interpretation Witness Function Presburger arithmetic Well-formed formula Logic Mathematics Mathematical logic
9	Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Metalogic Proof theory Logic in computer science Formal languages First-order logic Multiset Presburger arithmetic Quantifier elimination Logic Mathematics Mathematical logic
10	On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-02-02 09:55:31 Model theory Logic in computer science Metalogic Predicate logic Proof theory First-order logic Satisfiability Modulo Theories Presburger arithmetic Quantifier elimination Logic Mathematical logic Theoretical computer science