Concurrent logic programming in linear logic
Autoři | |
---|---|
Rok publikování | 1993 |
Druh | Článek ve sborníku |
Konference | Workshop on Concurrency in Computational Logic |
Fakulta / Pracoviště MU | |
Citace | |
www | http://www.fi.muni.cz/~zlatuska/papers/concurrent_logic_programming_in_linear_logic.ps.Z |
Obor | Teorie a systémy řízení |
Související projekty: |