Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Karen Francois, Benedikt Löwe, Thomas Müller 0007, Bart Van Kerkhove (eds.) |
Bringing together Philosophy and Sociology of Science, Papers of the conference "Foundations of the Formal Sciences VII", Brussels, Belgium, October 21-24, 2008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![College Publications, 978-1-84890-049-3 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Albrecht Heeffer |
On the curious historical coincidence of algebra and double-entry bookkeeping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Bringing together Philosophy and Sociology of Science, Papers of the conference `Foundations of the Formal Sciences VII`, Brussels, Belgium, October 21-24, 2008., pp. 111-132, 2008, College Publications, 978-1-84890-049-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Paul Ziche |
Alternative claims to the discovery of modern logic: coincidences and diversification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Bringing together Philosophy and Sociology of Science, Papers of the conference `Foundations of the Formal Sciences VII`, Brussels, Belgium, October 21-24, 2008., pp. 243-267, 2008, College Publications, 978-1-84890-049-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Brendan Larvor, Albert Lautman |
Dialectics in mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Bringing together Philosophy and Sociology of Science, Papers of the conference `Foundations of the Formal Sciences VII`, Brussels, Belgium, October 21-24, 2008., pp. 186-204, 2008, College Publications, 978-1-84890-049-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Christian Greiffenhagen, Wes Sharrock |
Sources for myths about mathematics. On the significance of the difference between finished mathematics and mathematics-in-the-making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Bringing together Philosophy and Sociology of Science, Papers of the conference `Foundations of the Formal Sciences VII`, Brussels, Belgium, October 21-24, 2008., pp. 91-109, 2008, College Publications, 978-1-84890-049-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Renate Tobies |
Career paths in mathematics: a comparison between women and men. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Bringing together Philosophy and Sociology of Science, Papers of the conference `Foundations of the Formal Sciences VII`, Brussels, Belgium, October 21-24, 2008., pp. 229-242, 2008, College Publications, 978-1-84890-049-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Liesbeth De Mol |
Looking for busy beavers. A socio-philosophical study of a computer-assisted proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Bringing together Philosophy and Sociology of Science, Papers of the conference `Foundations of the Formal Sciences VII`, Brussels, Belgium, October 21-24, 2008., pp. 61-90, 2008, College Publications, 978-1-84890-049-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Benedikt Löwe, Boris Piwinger, Thoralf Räsch (eds.) |
Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III", Wien, Asutria, September 21-24, 2001. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![Springer, 978-1-4020-2775-8 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis |
Quantum query algorithms and lower bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 15-32, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Löwe |
Complexity hierarchies derived from reduction functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 1-14, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Philip D. Welch |
Post's and other problems of supertasks of higher type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 223-237, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Mayordomo Cámara |
Effective Hausdorff dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 171-186, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brendle |
Recent developments in iterated forcing theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 47-60, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Camerlo |
Classification problems in algebra and topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 61-75, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Geschke, Sandra Quickert |
On Sacks forcing and the Sacks property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 95-139, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter Koepke, Marc van Eijmeren |
A refinement of Jensen's constructible hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 159-169, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Schindler |
Forcing axioms and projective sets of reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 207-222, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lars Engebretsen |
Using easy optimization problems to solve hard ones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 77-93, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joel David Hamkins |
Supertask computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 141-158, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Szabolcs Mikulás |
Axiomatizability of algebras of binary relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 187-205, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bläser |
Algebras of minimal rank: overview and recent developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FotFS ![In: Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference `Foundations of the Formal Sciences III`, Wien, Asutria, September 21-24, 2001., pp. 33-46, 2001, Springer, 978-1-4020-2775-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|