Lennart Beckman

According to our database, Lennart Beckman authored at least 3 papers between 1976 and 1986.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1986

An Algebraic Model of Parallel Execution of Logic Programs

Lennart Beckman, Rune Gustavsson, Annika Wærn

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Towards a Formal Semantics for Concurrent Logic Programming Languages.

Lennart Beckman

Proceedings of the Third International Conference on Logic Programming, 1986

1976

A Partial Evaluator, and its Use as a Programming Tool.

Lennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall

Artif. Intell., 1976