Committed-choice logic programming in linear logic
| Autoři | |
|---|---|
| Rok publikování | 1993 |
| Druh | Kapitola v knize |
| Fakulta / Pracoviště MU | |
| Citace | ZLATUŠKA, Jiří. Committed-choice logic programming in linear logic. In Computational Logic and Proof Theory (Third Kurt Gödel Colloquium, KGC'93). 1. vyd. New York: Springer, 1993, s. 337, 348-337+1. LNCS 713. ISBN 0-387-57184-1. |
| Související projekty: |