Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Bernays–Schönfinkel class

Known as: Schönfinkel, Bernays–Schonfinkel class, Effectively propositional 
The Bernays–Schönfinkel class (also known as Bernays–Schönfinkel-Ramsey class) of formulas, named after Paul Bernays and Moses Schönfinkel (and Frank… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
This paper investigates the satisfiability problem for Separation Logic, with unrestricted nesting of separating conjunctions and… Expand
  • figure 1
  • figure 2
Is this relevant?
2015
2015
We combine constrained literals for model representation with key concepts from first-order superposition and propositional… Expand
Is this relevant?
2015
2015
Despite the wide range of existing tool support, constructing a design environment for a complex domain-specific language (DSL… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
First order logic with transitive closure, and separation logic enable elegant interactive verification of heap-manipulating… Expand
  • figure 1
  • figure 3
  • figure 5
  • figure 4
  • figure 8
Is this relevant?
2013
2013
We show that every geometric morphism between realizability toposes satises the condition that its inverse image commutes with… Expand
Is this relevant?
2012
2012
It is well known that preprocessing is crucial for efficient reasoning on large industrial problems. Although preprocessing is… Expand
  • table II
  • figure 1
  • table V
  • table VI
Is this relevant?
2010
2010
The Bernays-Schonfinkel class with Datalog is a 2-variable fragment of the Bernays-Schonfinkel class extended with least fixed… Expand
  • figure 1
Is this relevant?
2010
2010
As is well-known, the Bernays-Schonfinkel-Ramsey class of all prenex ∃*∀*-sentences which are valid in classical first-order… Expand
Is this relevant?
2009
2009
8 Types 751 8.1 The general development of type theories . . . . . . . . . . . . . . . 751 8.1.1 Types as grammatical categories… Expand
Is this relevant?
2007
2007
The Bernays-Schonfinkel-Ramsey (BSR) class of formulas is the class of formulas that, when written in prenex normal form, have an… Expand
  • figure 1
  • figure 3
  • figure 2
Is this relevant?