APPLICATIONS OF RELATIONAL CALCULUS TO COMPUTER MATHEMATICS
Yasuo Kawahara · Bulletin of informatics and cybernetics · 1988
Relational calculus is applicable to some aspects of computer mathematics such as representing non-determinism of automata theory and theory of algorithms. In this note the author gives other proofs of the fundamental properties of languages received by finite automata and a fixed point semantics on simple recursive programs by using relational calculus.