[Lecture Notes in Computer Science] CAAP '88 Volume 299 || Expressiveness bounds for completeness in trace-based network proof systems
Dauchet, M., Nivat, M.Volume:
10.1007/BF
Year:
1988
Language:
english
DOI:
10.1007/BFb0026105
File:
PDF, 1.04 MB
english, 1988