Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.

Luca Aceto Anna Ingólfsdóttir Bas Luttik Paul van Tilburg

Published in: IFIP TCS (2008)

Keyphrases

equational theories
theorem proving
finite number
search engine
theorem prover
horn clauses
function symbols