Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Bernays-Schonfinkel (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-2017 (16) 2018-2020 (3)
Publication types (Num. hits)
article(10) inproceedings(9)
Venues (Conferences, Journals, ...)
CoRR(6) FroCoS(2) J. Symb. Log.(2) ACM Trans. Comput. Log.(1) Ann. Math. Artif. Intell.(1) CADE(1) FOCS(1) FoSSaCS(1) LPAR (Yogyakarta)(1) TIME(1) VERIFY(1) VMCAI(1)
Authors
Christoph Weidenbach(5) Marco Voigt(5) Radu Iosif(4) Mnacho Echenim(3) Nicolas Peltier(3) Alberto Policriti(2) Angelo Montanari(2) Dario Della Monica(2) Davide Bresolin(2) Eugenio G. Omodeo(2) Gábor Alagi(2) Guido Sciavicco(2) Matthias Horbach(2) Abhisekh Sankaran(1) Andrew Reynolds 0001(1) Cristina Serban(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
66Leszek Pacholski, Wieslaw Szwast The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality Search on Bibsonomy FOCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF prenex first-order sentences, second order Godel sentences, 0-1 law, Bernays-Schonfinkel, Ackermann prefix classes, decidable cases
58Mnacho Echenim, Radu Iosif, Nicolas Peltier The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
58Mnacho Echenim, Radu Iosif, Nicolas Peltier The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
58Mnacho Echenim, Radu Iosif, Nicolas Peltier On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
58Marco Voigt The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
58Matthias Horbach, Marco Voigt, Christoph Weidenbach On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
58Matthias Horbach, Marco Voigt, Christoph Weidenbach On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
58Andrew Reynolds 0001, Radu Iosif, Cristina Serban Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
58Marco Voigt The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
58Gábor Alagi, Christoph Weidenbach NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
58Marco Voigt, Christoph Weidenbach Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
58Gábor Alagi, Christoph Weidenbach NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
58Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
58Eugenio G. Omodeo, Alberto Policriti The Bernays - Schönfinkel - Ramsey class for set theory: decidability. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
58Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. Search on Bibsonomy TIME The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
58Eugenio G. Omodeo, Alberto Policriti The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. Search on Bibsonomy J. Symb. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
58Abhisekh Sankaran, Supratik Chakraborty On Semantic Generalizations of the Bernays-Schönfinkel-Ramsey Class with Finite or Co-finite Spectra Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
58Witold Charatonik, Piotr Witkowski 0001 On the Complexity of the Bernays-Schönfinkel Class with Datalog. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
58Pascal Fontaine Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. Search on Bibsonomy VERIFY The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license