Login / Signup

Homomorphisms and Concurrent Term Rewriting.

Franck SeynhaeveSophie TisonMarc Tommasi
Published in: FCT (1999)
Keyphrases
  • term rewriting
  • theorem proving
  • theorem prover
  • operational semantics
  • knuth bendix
  • rewrite systems
  • graph theory
  • database systems
  • first order logic
  • mutual exclusion
  • finite state automata
  • concurrent execution