The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 03B70 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000 (1) 2006 (1) 2007 (4) 2008 (6)
Publication types (Num. hits)
article(11) inproceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 7 keywords

Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
33Tomasz Fryderyk Urbanski On Deciding if Deterministic Rabin Language Is in Büchi Class. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Nils Bulling, Wojciech Jamroga, Jürgen Dix Reasoning about temporal properties of rational play. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B70, 91A26
25Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang 0002 Integrating answer set programming and constraint logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30, 68T20, 03B70
25Jeffrey B. Remmel My work with Victor Marek: a mathematician looks at answer set programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03D80, 03B70
25Melvin Fitting Justification logics, logics of knowledge, and conservativity. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B42, 03B45, 03B60, 03B70
25Anil Nerode, Jeffrey B. Remmel Consistency properties and set based logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30, 03B70
25Johann A. Makowsky From Hilbert's program to a logic tool box. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 01-08, 01A67, 68-01, 68-03, 97-03, 97D20, 03B70
25Joachim Biskup, Piero A. Bonatti Controlled query evaluation with open queries for a decidable relational submodel. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68P15, 68P99, 11U05, 03B70
25Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Decision procedures for extensions of the theory of arrays. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15
25Tristan M. Behrens, Jürgen Dix Model checking multi-agent systems with logic based Petri nets. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B70, 68R10, 68T27
25Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B50, 03B05, 03B70
25David Pearce 0001 Equilibrium logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B50, 68N17, 68T30, 03B70, 03B55
Displaying result #1 - #12 of 12 (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