Computing with Infinite Data: Topological and Logical Foundations Part 2. Berger, U., Brattka, V., Selivanov, V., Spreen, D., & Tsuiki, H., editors Volume 25Cambridge University Press. Cambridge, 2015.
Computing with Infinite Data: Topological and Logical Foundations Part 2 [link]Paper  bibtex   
@PROCEEDINGS{BBS+15a,
  title = {Computing with Infinite Data: Topological and Logical Foundations
	Part 2},
  year = {2015},
  editor = {Berger, Ulrich and Brattka, Vasco and Selivanov, Victor and Spreen,
	Dieter and Tsuiki, Hideki},
  volume = {25},
  number = {8},
  series = MSCS,
  address = {Cambridge},
  publisher = {Cambridge University Press},
  keywords = {cca, bib, team},
  url = {http://journals.cambridge.org/action/displayIssue?jid=MSC&volumeId=25&seriesId=0&issueId=08}
}

Downloads: 0