Kuniaki Mukai (mukai-k)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Cooper, Robin, Mukai, Kuniaki and Perry, John R., eds. 1990. Situation Theory and Its Applications, Volume 1. vol. 1. Stanford, California: CSLI Publications.
Mukai, Kuniaki. 1991. “CLP(AFA): Coinductive Semantics of Horn Clauses with Compact Constraints.” in Situation Theory and Its Applications, Volume 2, volume 2, edited by Jon K. Barwise, Jean Mark Gawron, Gordon D. Plotkin, and Syun Tutiya, pp. 179–214. Stanford, California: CSLI Publications.
Mukai, Kuniaki. 1996. “Constraints on Coalgebras.” in Logic, Language and Computation .Volume 1, edited by Jerry Seligman and Dag Westerståhl, pp. 405–418. CSLI Lecture Notes n. 58. Stanford, California: CSLI Publications.