dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Matthew Hendtlass Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Hendtlass, Peter Schuster: A Direct Proof of Wiener's Theorem. CiE 2012: 293-302
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Hendtlass: The intermediate value theorem in constructive mathematics without choice. Ann. Pure Appl. Logic 163(8): 1050-1056 (2012)
2011
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Hendtlass: The computational content of Walras' existence theorem. Applied Mathematics and Computation 217(13): 6185-6191 (2011)
2010
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas S. Bridges, Matthew Hendtlass: Continuous isomorphisms from R onto a complete abelian group. J. Symb. Log. 75(3): 930-944 (2010)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas S. Bridges, Matthew Hendtlass: Continuous homomorphisms of R onto a compact group. Math. Log. Q. 56(2): 191-197 (2010)

Coauthor Index

1Douglas S. Bridges [1] [2]
2Peter Schuster (Peter M. Schuster) [5]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page