Additional Metadata
THEME Software (theme 1)
Publisher IFIP
Conference IFIP International Conference on Theoretical Computer Science
Citation
Aceto, L, Fokkink, W.J, Ingólfsdóttir, A, & Mousavi, M.R. (2008). Lifting non-finite axiomatizability results to extensions of process algebras. In Proc. 5th Conference on Theoretical Computer Science (logic and semantics track) (pp. 301–316). IFIP.