Concurrent logic programming in linear logic

• Autoři: ZLATUŠKA Jiří
• Rok publikování: 1993
• Druh: Článek ve sborníku
• Konference: Workshop on Concurrency in Computational Logic
• Fakulta / Pracoviště MU: Fakulta informatiky
• 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

• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů