|
6 | Ilkka Niemelä and Heikki Tuominen. Helsinki logic machine: a system for logical expertise. Technical Report B1, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1987. |
|
|
5 | Mikko Tiusanen. Specification of a net description language compiler. Research Report A4, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1987. |
|
|
4 | Esa Montonen, Leo Ojala, and Timo Tuuliniemi. A PrT-net representation of graph grammars. Research Report A3, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1987. |
|
|
3 | Viktor I. Varshavsky. Hardware support of parallel asynchronous processes. Research Report A2, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, September 1987. |
|
|
2 | Tapio Halkola, Kaj Johansson, and Leo Ojala. Modelling orel message solution protocols for agreement problems in fault-tolerant distributed systems using predicate/transition nets. Research Report A1, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1987. |
|
|
1 | Ilkka Niemelä. Nonmonotonic logic in knowledge-based systems. Master's Thesis (in Finnish), Helsinki University of Technology, Department of Electrical Engineering, 1987. |
|
