|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 5 keywords
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Luca Spada |
LPi logic with fixed points. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B50, 03B52, 06F25 |
26 | Vincent Astier |
Elementary equivalence of some rings of definable functions. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03C60, 14P10, 06F25 |
26 | Tobias Kaiser |
Real Closed Graded Fields. |
Order |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06F25, 13A02, 13J30 |
26 | Marston D. E. Conder, Simon Marshall, Arkadii M. Slinko |
Orders on Multisets and Discrete Cones. |
Order |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06F25, 91B16 |
26 | Anthony W. Hager, D. G. Johnson |
Adjoining an Identity to a Reduced Archimedean f -ring, II: Algebras. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 06F20, 13B10, Secondary 18A40, 54H10, 46A40, 54C30, 06F25 |
26 | Anthony W. Hager, Jorge Martinez 0001 |
Patch-generated Frames and Projectable Hulls. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06D22, 16E50, 54G05, 06F25 |
26 | Richard N. Ball, Anthony W. Hager, Joanne Walters-Wayland |
An Intrinsic Characterization of Monomorphisms in Regular Lindelöf Locales. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 06D22, Secondary 54B30, 18B30, 06F25 |
26 | Jingjing Ma, R. H. Redfield |
Lattice-ordered Fields Determined by d -elements. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06F25, 06F15, 18A40, 15A03 |
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|