Masahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, Tohru Moto-Oka. Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis. In Eiiti Wada, editor, Logic Programming 85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985. Volume 221 of Lecture Notes in Computer Science, pages 246-255, Springer, 1985.
@inproceedings{FujitaINTM85,
title = {Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis},
author = {Masahiro Fujita and Makoto Ishisone and Hiroshi Nakamura and Hidehiko Tanaka and Tohru Moto-Oka},
year = {1985},
tags = {programming languages, logic programming, programming, logic},
researchr = {https://researchr.org/publication/FujitaINTM85},
cites = {0},
citedby = {0},
pages = {246-255},
booktitle = {Logic Programming 85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985},
editor = {Eiiti Wada},
volume = {221},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-16479-0},
}