Stefano Diomedi

Publication Activity (10 Years)

Years Active: 1983-1983
Publications (10 Years): 0

Publications

Pierpaolo Degano, Stefano Diomedi
A First Order Semantics of a Connective Suitable to Express Concurrency. Logic Programming Workshop (1983)