No label defined (Q3125201)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
17 March 1997
0 references
Portland, OR (USA)
0 references
Proceedings
0 references
Symposium
0 references
Logic programming
0 references
operational semantics
0 references
monadic constructs
0 references
declarative semantics
0 references