Continuous relations and richardson's theorem

  • Authors:

  • Hitoshi Furusawa;Toshikazu Ishida;Yasuo Kawahara

  • Affiliations:

  • Department of Mathematics and Computer Science, Kagoshima University, Kagoshima, Japan;Center for Fundamental Education, Kyushu Sangyo University, Fukuoka, Japan;Department of Mathematics and Computer Science, Kagoshima University, Kagoshima, Japan

  • Venue:
  • RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper intends to seek a definition of continuous relations with relational methods and gives another proof of Richardson's theorem on nondeterministic cellular automata.