Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alberto Marcone" ( http://dblp.L3S.de/Authors/Alberto_Marcone )

  Author page on DBLP  Author page in RDF  Community of Alberto Marcone in ASPL-2

Publication years (Num. hits)
1991-2012 (14)
Publication types (Num. hits)
article(14)
Venues (Conferences, Journals, ...)
Ann. Pure Appl. Logic(3) J. Symb. Log.(3) Arch. Math. Log.(2) Math. Log. Q.(2) CoRR(1) Electr. Notes Theor. Comput. S...(1) Notre Dame Journal of Formal L...(1) Order(1)
Authors
Alberto Marcone(14) Guido Gherardi(3) Antonio Montalbán(2) Vasco Brattka(2) Christian Rosendal(1) Mariagnese Giusto(1) Peter Cholak(1) Reed Solomon(1) Riccardo Camerlo(1) Richard A. Shore(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Vasco Brattka, Guido Gherardi, Alberto Marcone The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alberto Marcone, Antonio Montalbán The Veblen functions for computability theorists. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Vasco Brattka, Guido Gherardi, Alberto Marcone The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Alberto Marcone, Richard A. Shore The maximal linear extension theorem in second order arithmetic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alberto Marcone, Antonio Montalbán On Fraïssé's conjecture for linear orders of finite Hausdorff rank. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Guido Gherardi, Alberto Marcone How Incomputable is the Separable Hahn-Banach Theorem? Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Riccardo Camerlo, Alberto Marcone Coloring linear orders with Rado's partial order. Search on Bibsonomy Math. Log. Q. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alberto Marcone Interval Orders and Reverse Mathematics. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2007 DBLP  BibTeX  RDF
1Alberto Marcone, Christian Rosendal The complexity of continuous embeddability between dendrites. Search on Bibsonomy J. Symb. Log. The full citation details ... 2004 DBLP  BibTeX  RDF
1Peter Cholak, Alberto Marcone, Reed Solomon Reverse mathematics and the equivalence of definitions for well and better quasi-orders. Search on Bibsonomy J. Symb. Log. The full citation details ... 2004 DBLP  BibTeX  RDF
1Alberto Marcone Fine Analysis of the Quasi-Orderings on the Power Set. Search on Bibsonomy Order The full citation details ... 2001 DBLP  DOI  BibTeX  RDF better quasi-ordering, wqo, well quasi-ordering
1Mariagnese Giusto, Alberto Marcone Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification:03F35
1Alberto Marcone The Set of Better Quasi Orderings is Pi21-complete. Search on Bibsonomy Math. Log. Q. The full citation details ... 1995 DBLP  BibTeX  RDF
1Alberto Marcone Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.