Publication | Open Access
CCS with Hennessy's merge has no finite-equational axiomatization
43
Citations
24
References
2004
Year
EngineeringAutomated ReasoningFormal MethodsModel TheoryFormal SystemHigher-order LogicFinite-equational Axiomatization
| Year | Citations | |
|---|---|---|
Page 1
Page 1