Lennart Beckman

Publication Activity (10 Years)

Years Active: 1976-1986
Publications (10 Years): 0

Publications

Lennart Beckman
Towards a Formal Semantics for Concurrent Logic Programming Languages. ICLP (1986)
Lennart Beckman, Rune Gustavsson, Annika Wærn
An Algebraic Model of Parallel Execution of Logic Programs LICS (1986)
Lennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall
A Partial Evaluator, and its Use as a Programming Tool. Artif. Intell. 7 (4) (1976)