Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2001 (2) 2009 (1)
Publication types (Num. hits)
article(2) inproceedings(1)
Venues (Conferences, Journals, ...)
Arch. Math. Log.(2) LFCS(1)
Authors
Albert Visser(1) Robert S. Lubarsky(1) Ulrich Kohlenbach(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
31Robert S. Lubarsky Topological Forcing Semantics with Settling. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF topology AMS classification 03F50, 03E70, 03C90, semantics, set theory, Constructivism
31Albert Visser Submodels of Kripke models. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): Primary: 03B20, 03C40, 03F50, Secondary: 03C90
31Ulrich Kohlenbach A note on Spector's quantifier-free rule of extensionality. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03F07, 03F10, 03F50, 03F35
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