zbMath1048.68026MaRDI QIDQ4790349
Uwe Nestmann, Sébastien Briais
Publication date: 2002
zbMATH Keywords
Obliq; Øjeblik
Mathematics Subject Classification ID
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
Related Items