![]() | ![]() |
1986 | ||
---|---|---|
3 | Lennart Beckman: Towards a Formal Semantics for Concurrent Logic Programming Languages. ICLP 1986: 335-349 | |
2 | Lennart Beckman, Rune Gustavsson, Annika Wærn: An Algebraic Model of Parallel Execution of Logic Programs LICS 1986: 50-57 | |
1976 | ||
1 | Lennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall: A Partial Evaluator, and its Use as a Programming Tool. Artif. Intell. 7(4): 319-357 (1976) |
1 | Rune Gustavsson | [2] |
2 | Anders Haraldson | [1] |
3 | Östen Oskarsson | [1] |
4 | Erik Sandewall | [1] |
5 | Annika Wærn (Annika Waern) | [2] |