Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2006 (2) 2007 (1)
Publication types (Num. hits)
article(3)
Venues (Conferences, Journals, ...)
Ann. Math. Artif. Intell.(2) J. Autom. Reason.(1)
Authors
Alexander Bolotov(1) Artie Basukoski(1) John R. Cowles(1) Pierre Lescanne(1) Ruben Gamboa(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
31Ruben Gamboa, John R. Cowles Theory Extension in ACL2(r). Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T15, 03B35, 03H15
31Alexander Bolotov, Artie Basukoski A clausal resolution method for branching-time logic ECTL+. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30
31Pierre Lescanne Mechanizing common knowledge logic using COQ. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B42, 03B15, 03B35
Displaying result #1 - #3 of 3 (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