Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1999 (1) 2001 (2) 2008 (3)
Publication types (Num. hits)
article(6)
Venues (Conferences, Journals, ...)
Arch. Math. Log.(6)
Authors
Alex M. McAllister(1) Alexandra Shlapentokh(1) Anders Malmström(1) Andrey Bovykin(1) Erich Grädel(1) Iraj Kalantari(1) Larry Welch(1) Rumen D. Dimitrov(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 4 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
27Andrey Bovykin Resplendent models and S11{\Sigma_1^1} -definability with an oracle. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) Primary 03B10, 03C50, 03C62, Secondary 03C07, 03C30, 03C35, 03C52, 03C64, 03C57
27Iraj Kalantari, Larry Welch On degree-preserving homeomorphisms between trees in computable topology. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematical Subject Classification (2000) 03D45, 03D80, 54A20, 03C57
27Rumen D. Dimitrov A class of S30{Sigmas30} modular lattices embeddable as principal filters in L*(VJPY)L^{\ast}(Vinfinity). Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03D25, 06C05, 03C57
27Alexandra Shlapentokh Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of Q. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03C57, 03D35, 11D57, 11U05
27Alex M. McAllister Computability in structures representing a Scott set. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03C25, 03C50, 03C62, 03D35, 03D30, 03C57
27Erich Grädel, Anders Malmström 0-1 laws for recursive structures. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991):03C15, 03D45, 28E15, 05C80, 03C57
Displaying result #1 - #6 of 6 (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