Undecidability of finite satisfiability and characterization of NP in finite model theory

Undecidability of finite satisfiability and characterization of NP in finite model theory

Bibliographic Details
Main Author:	Block, Max
Format:	Others
Language:	English
Published:	Uppsala universitet, Algebra och geometri 2015
Online Access:	http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-254570

Similar Items

Undecidability of Finiteness Conjecture for generalized spectral radius
by: Ming-Jiea Liu, et al.
Published: (2002)

Finite model finding in satisfiability modulo theories
by: Reynolds, Andrew Joseph
Published: (2013)

Undecidable theories.
by: Feldman, Norman.
Published: (1961)

Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
by: Jakub Michaliszyn, et al.
Published: (2012-10-01)

Undecidable theories in mathematics
by: Phillips, Earnestine B.
Published: (1968)

Ontology-Based Finite Satisfiability of UML Class Model
by: Abdul Hafeez Khan, et al.
Published: (2018-01-01)

Research on General Theories of Decidability and Undecidability
by: Yo-John Shi, et al.
Published: (2008)

Heuristics for the Undecidable
by: Tom Scholte
Published: (2019-01-01)

Combinatorial Structures in Finite Automata, CNF Satisfiability and Arithmetic Computation
by: Matsuura, Akihiro
Published: (2011)

Jokes, aporia and undecidability
by: Alex Phillip Segal
Published: (2018-06-01)

On the Undecidability of Images (in communication)
by: Fabrizio Scrivano
Published: (2010-12-01)

Undecidability in quantum thermalization
by: Naoto Shiraishi, et al.
Published: (2021-08-01)

Categories, undecidables and syncategoremes
by: Romčević Branko
Published: (2017-01-01)

On formally undecidable propositions of Zermelo-Fraenkel set theory
by: St. John, Gavin
Published: (2013)

Decisions among the undecided: implicit attitudes predict future voting behavior of undecided voters.
by: Kristjen B Lundberg, et al.
Published: (2014-01-01)

Stability of Skorokhod problem is undecidable
by: Gamarnik, David, et al.
Published: (2015)

Undecidability of Multiplicative Subexponential Logic
by: Kaustuv Chaudhuri
Published: (2015-02-01)

Feminism and the liberal undecidability of women
by: Nash, Kate
Published: (1995)

The Aesthetics of Undecidability in Nabokov's Lolita
by: Wu, Yi Qin, et al.
Published: (2010)

Correction: Decisions among the Undecided: Implicit Attitudes Predict Future Voting Behavior of Undecided Voters
by: The Staff
Published: (2014-01-01)

Correction: Decisions among the Undecided: Implicit Attitudes Predict Future Voting Behavior of Undecided Voters.
Published: (2014-01-01)

Finite Groups whose Cyclic Subnormal Subgroups Satisfy Certain Permutability Conditions
by: A. Ballester-Bolinches, et al.
Published: (2016-06-01)

Undecidability and Opacity of Metacognition in Animals and Humans
by: Kevin Bradley Clark, et al.
Published: (2013-04-01)

Undecidability of the Spectral Gap in One Dimension
by: Johannes Bausch, et al.
Published: (2020-08-01)

Fixed Parameter Undecidability for Wang Tilesets
by: Emmanuel Jeandel, et al.
Published: (2012-08-01)

Synchronous Subsequentiality and Approximations to Undecidable Problems
by: Christian Wurm
Published: (2015-09-01)

Algorithms, Turing machines and algorithmic undecidability
by: Davidsdottir, Agnes
Published: (2021)

Undecided Voters, Abstention and Spiral of Silence.
by: Chen, Chuan Hsiang, et al.
Published: (2015)

Ethics in qualitative research or the terible process of undecidability
by: Redwood, Sabina
Published: (2007)

A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions
by: Domenico Cantone, et al.
Published: (2012-10-01)

MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable
by: Karin Quaas
Published: (2014-03-01)

The limits of predictability : indeterminism and undecidability in classical and quantum physics
by: Korolev, Alexandre V.
Published: (2011)

Traits characteristic of educationally and vocationally undecided and decided students /
by: Kafer, C. Louise
Published: (1981)

Orientation Instructors and Undecided Students' Perceptions of Course Objectives
by: DeAngelo, Angela
Published: (2004)

Confluence of Length Preserving String Rewriting Systems is Undecidable
by: WANG, Yi, et al.
Published: (2007)

Undecidable Properties on Length-Two String Rewriting Systems
by: Sakai, Masahiko, et al.
Published: (2007)

Betrayals, Secrets, and Lies: Unfaithful Reading in Modernist Undecidability
by: Harriman, Lucas H.
Published: (2010)

Undecided democracy : macro-indecision, turnout and vote choice
by: Kosmidis, Spyros P.
Published: (2011)

Model theory of finite and pseudofinite rings
by: Bello Aguirre, Ricardo Isaac
Published: (2016)

Finiteness in Supersymmetric Theories
by: Marcus, Neil
Published: (1984)