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
We develop a new technique for verifying temporal properties of infinite-state (distributed) systems. The main idea is to reduce… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
2016
2016
Existing approaches to synthesize reactive systems from declarative specifications mostly rely on Binary Decision Diagrams (BDDs… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2013
2013
We show that every geometric morphism between realizability toposes satises the condition that its inverse image commutes with… Expand
2012
2012
Abstract As proved recently, the satisfaction problem for all prenex formulae in the set-theoretic Bernays-Shönfinkel-Ramsey… Expand
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
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
Highly Cited
2007
Highly Cited
2007
SAT: Past and Future.- Encodings of Problems in Effectively Propositional Logic.- Efficient Circuit to CNF Conversion.- Mapping… Expand
Highly Cited
2007
Highly Cited
2007
Session 1. Invited Talk: Colin Stirling.- Games, Automata and Matching.- Session 2. Higher-Order Logic.- Formalization of… Expand
Review
1995
Review
1995
Moths and butterflies whose larvae do not feed on plants represent a decided minority slice of lepidopteran diversity, yet offer… Expand
  • table 1
  • table 1
  • table 1
  • table 2
  • table 3
Highly Cited
1977
Highly Cited
1977
In [2] we constructed homological localizations of spaces, groups, and 17"modules; here we generalize those constructions to give… Expand