DMCA

Bisimulation and Propositional Intuitionistic Logic (1996)

by Anna Patterson
Venue:PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY
Citations:2 - 0 self