CAISOR Archive 1976

CAISOR Research Agenda Archive

Publications during year 1976

To access the primary index page for a particular article, often containing links to its full text, please click the serial number preceding the line.

1976-001 Lennart Beckman, Anders Haraldsson, Östen Oskarsson and Erik Sandewall: A partial evaluator, and its use as a programming tool. Artificial Intelligence, vol. 7 (1976), pages 319-357.
1976-002 Erik Sandewall: Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs. IEEE Transactions on Computers, vol. C-25 (1976), pages 342-346.

1976-001	Lennart Beckman, Anders Haraldsson, Östen Oskarsson and Erik Sandewall: A partial evaluator, and its use as a programming tool. Artificial Intelligence, vol. 7 (1976), pages 319-357.
1976-002	Erik Sandewall: Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs. IEEE Transactions on Computers, vol. C-25 (1976), pages 342-346.