Applications of Fairness
- Yamasaki,S., Semantics of logic programs over sequence
domains, Proc. of FGCS '88, Tokyo, 2, pp.382-388, 1988.
- Yamasaki,S., Equational dataflow programs computing
logic programs, Trans. of IEICEJ, E71, pp.1134-1139, 1988.
- Yamasaki,S., Dataflow for logic program as substitution
manipulator, Proc. of Int Symp. on Symbolic and Algebraic
Computation, Tokyo, pp.45-51, 1990.
- Yamasaki,S., Dataflow computing mechanism for logic program and
extraction of functional from it, Software Science and Engineering
(Nakata,I. and Hagiya,M., eds.), World Scientific, pp.78-97, 1991.
- Yamasaki,S., A denotational semantics and dataflow construction
for logic programs, Theoretical Computer Science, 124, pp.71-91,
1994.