Linear logic semantics for Concurrent Prolog

• Autoři: ZLATUŠKA Jiří
• Rok publikování: 1994
• Druh: Kapitola v knize
• Fakulta / Pracoviště MU: Fakulta informatiky

Související projekty

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