The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FotFS"( http://dblp.L3S.de/Venues/FotFS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/fotfs

Publication years (Num. hits)
2001 (13) 2004 (1) 2008 (6) 2011 (1)
Publication types (Num. hits)
inproceedings(19) proceedings(2)
Venues (Conferences, Journals, ...)
FotFS(21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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