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. |
FotFS |
2011 |
DBLP BibTeX RDF |
|
1 | Albrecht Heeffer |
On the curious historical coincidence of algebra and double-entry bookkeeping. |
FotFS |
2008 |
DBLP BibTeX RDF |
|
1 | Paul Ziche |
Alternative claims to the discovery of modern logic: coincidences and diversification. |
FotFS |
2008 |
DBLP BibTeX RDF |
|
1 | Brendan Larvor, Albert Lautman |
Dialectics in mathematics. |
FotFS |
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. |
FotFS |
2008 |
DBLP BibTeX RDF |
|
1 | Renate Tobies |
Career paths in mathematics: a comparison between women and men. |
FotFS |
2008 |
DBLP BibTeX RDF |
|
1 | Liesbeth De Mol |
Looking for busy beavers. A socio-philosophical study of a computer-assisted proof. |
FotFS |
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. |
FotFS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis |
Quantum query algorithms and lower bounds. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Löwe |
Complexity hierarchies derived from reduction functions. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Philip D. Welch |
Post's and other problems of supertasks of higher type. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Mayordomo Cámara |
Effective Hausdorff dimension. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brendle |
Recent developments in iterated forcing theory. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Camerlo |
Classification problems in algebra and topology. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Geschke, Sandra Quickert |
On Sacks forcing and the Sacks property. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter Koepke, Marc van Eijmeren |
A refinement of Jensen's constructible hierarchy. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Schindler |
Forcing axioms and projective sets of reals. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lars Engebretsen |
Using easy optimization problems to solve hard ones. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joel David Hamkins |
Supertask computation. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Szabolcs Mikulás |
Axiomatizability of algebras of binary relations. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bläser |
Algebras of minimal rank: overview and recent developments. |
FotFS |
2001 |
DBLP DOI BibTeX RDF |
|