GAMMALÖG: A COORDINATION LANGUAGE BASED ON GAMMA AND GÖDEL

• 1 August 1996
• book chapter
• Published by World Scientific Pub Co Pte Ltd
• p. 323-348
• https://doi.org/10.1142/9781848161023_0013

Abstract

Keywords

• MODEL
• IMPLEMENTATION
• SEMANTICS
• LOGIC
• LANGUAGE BASED
• MULTISET REWRITING
• GDEL
• GAMMALÖG