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

Group by: Creators | Item Type | Status | No Grouping
Jump to: G | L
Number of items: 2.


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 Fri Oct 7 22:26:23 2022 UTC.