Vorlesungsmaterial

• 10/25/94: Ein paar Oz Programe
• 11/18/94: Constraints in Oz1
• 11/24/94: An Oz Primer
• 01/24/95: A Foundation for Higher-order Concurrent Constraint Programming
• 01/31/95: Encapsulated Search and Constraint Programming in Oz
• 01/31/95: N-Queens und Send-More-Money
• 02/03/95: Constraint Programming in Oz
• 02/03/95: Der Propagierer LE in Oz1