Takeichi, Masato; Akama, Yohji Deriving a functional Knuth-Morris-Pratt algorithm by transformation. (English) Zbl 0764.68097 J. Inf. Process. 13, No. 4, 522-528 (1990). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{M. Takeichi} and \textit{Y. Akama}, J. Inf. Process. 13, No. 4, 522--528 (1990; Zbl 0764.68097)
Mansfield, Glenn; Togashi, Atsushi; Noguchi, Shoichi AMLOG: An amalgamated equational logic programming language. (English) Zbl 0668.68110 J. Inf. Process. 11, No. 4, 278-287 (1988). MSC: 68T15 68Q60 03B35 PDFBibTeX XMLCite \textit{G. Mansfield} et al., J. Inf. Process. 11, No. 4, 278--287 (1988; Zbl 0668.68110)
Sakakibara, Yasubumi On semantics of logic programs with uncertainties. (English) Zbl 0663.68013 J. Inf. Process. 11, No. 3, 175-182 (1988). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{Y. Sakakibara}, J. Inf. Process. 11, No. 3, 175--182 (1988; Zbl 0663.68013)
Yamada, Naoyuki; Kobayashi, Yasuhiro; Kiguchi, Takashi A theorem proving system for logic design verification. (English) Zbl 0658.68111 J. Inf. Process. 11, No. 2, 92-104 (1988). MSC: 68T15 68Q60 PDFBibTeX XMLCite \textit{N. Yamada} et al., J. Inf. Process. 11, No. 2, 92--104 (1988; Zbl 0658.68111)
Murata, Takashi; Iida, Saburou An approach to the FUNARG problem using that MACRO facility. (English) Zbl 0658.68016 J. Inf. Process. 11, No. 2, 120-122 (1988). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{T. Murata} and \textit{S. Iida}, J. Inf. Process. 11, No. 2, 120--122 (1988; Zbl 0658.68016)
Hirose, Ken; Takahashi, Makoto; Yamada, Shinichi The system \(FL_{m,n}\) for specification analysis and its completeness theorem. (English) Zbl 0621.68006 J. Inf. Process. 9, 220-227 (1986). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{K. Hirose} et al., J. Inf. Process. 9, 220--227 (1986; Zbl 0621.68006)
Kanayama, Yutaka Monadic recursion schemes with two exits. (English) Zbl 0608.68011 J. Inf. Process. 9, 70-78 (1986). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{Y. Kanayama}, J. Inf. Process. 9, 70--78 (1986; Zbl 0608.68011)
Hikita, Teruo On the average size of Turner’s translation to combinator programs. (English) Zbl 0567.68012 J. Inf. Process. 7, 164-169 (1984). MSC: 68Q60 PDFBibTeX XMLCite \textit{T. Hikita}, J. Inf. Process. 7, 164--169 (1984; Zbl 0567.68012)
Yonezawa, Akinori A method for synthesizing data retrieving programs. (English) Zbl 0482.68092 J. Inf. Process. 5, 94-101 (1982). MSC: 68P20 68Q60 PDFBibTeX XMLCite \textit{A. Yonezawa}, J. Inf. Process. 5, 94--101 (1982; Zbl 0482.68092)