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… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

Formal validation of domain-specific languages with derived features and well-formedness constraints

- Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró
- Software & Systems Modeling
- 2015

Despite the wide range of existing tool support, constructing a design environment for a complex domain-specific language (DSL… (More)

Is this relevant?

2014

2014

- Shachar Itzhaky, Anindya Banerjee, Neil Immerman, Ori Lahav, Aleksandar Nanevski, Shmuel Sagiv
- POPL
- 2014

First order logic with transitive closure, and separation logic enable elegant interactive verification of heap-manipulating… (More)

Is this relevant?

2013

2013

- Konstantin Korovin
- FroCos
- 2013

In this paper we investigate the finite satisfiability problem for firstorder logic. We show that the finite satisfiability… (More)

Is this relevant?

2012

2012

- Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov
- 2012 Formal Methods in Computer-Aided Design…
- 2012

It is well known that preprocessing is crucial for efficient reasoning on large industrial problems. Although preprocessing is… (More)

Is this relevant?

2012

2012

- Martina Seidl, Florian Lonsing, Armin Biere
- PAAR@IJCAR
- 2012

We present the tool qbf2epr which translates quantified Boolean formulas (QBF) to formulas in effectively propositional logic… (More)

Is this relevant?

2011

2011

- Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
- Annals of Mathematics and Artificial Intelligence
- 2011

Decidability and complexity of the satisfiability problem for the logics of time intervals have been extensively studied in the… (More)

Is this relevant?

2010

2010

- Witold Charatonik, Piotr Witkowski
- LPAR
- 2010

Bernays-Schönfinkel class with Datalog is a 2-variable fragment of the Bernays-Schönfinkel class extended with least fixed points… (More)

Is this relevant?

2010

2007

2007

Is this relevant?

2002

2002

- Stephan Schulz, Geoff Sutcliffe
- CADE
- 2002

The validity problem for full first-order logic is only semi-decidable. However, there are many interesting problems that, when… (More)

Is this relevant?