C. Verhoef

C. Verhoef. A congruence theorem for structured operational semantics with predicates and negative premises. Nordic Journal of Computing, 2(2):274-302, Summer 1995. Abstract, References, Citations, etc.

Shortcuts:

Nordic Journal of Computing homepage

Bibliography top level

Nordic Journal of Computing Author Index

Search the HBP database