Transition Systems over Continuous Time-Space. Takeuti, I. In Brattka, V., Staiger, L., & Weihrauch, K., editors, Computability and Complexity in Analysis, volume 320, of Informatik Berichte, pages 157–168, August, 2004. FernUniversität in Hagen. Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany, August 16–20, 2004
bibtex   
@INPROCEEDINGS{Tak04,
  author = {Takeuti, Izumi},
  title = {Transition Systems over Continuous Time-Space},
  booktitle = {Computability and Complexity in Analysis},
  year = {2004},
  editor = {Brattka, Vasco and Staiger, Ludwig and Weihrauch, Klaus},
  volume = {320},
  series = {Informatik Berichte},
  pages = {157--168},
  month = aug,
  publisher = {FernUniversit\"at in Hagen},
  note = {Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany,
	August 16--20, 2004}
}

Downloads: 0