Items where Research Group is "Innovation, Technology and Operations Management

[up] Up a level
Group by: Creators | Item Type | Status | No Grouping
Jump to: Conference or Workshop Item
Number of items: 2.

Conference or Workshop Item

Gerth, R., Codish, M., Lichtenstein, Yossi and Shapiro, E. (1988) Fully abstract denotational semantics for flat Concurrent Prolog. In: 3rd Annual Symposium on Logic in Computer Science (LICS), 1988-07-05 - 1988-07-08.

Lichtenstein, Yossi and Shapiro, E. (1988) Abstract Algorithmic Debugging. In: Proceedings of the 5th Logic Programming: International Conference and Symposium, 1988-08-01.

This list was generated on Sat Apr 20 06:18:35 2024 UTC.