Login / Signup

Undecidability of the exists*forall* Part of the Theory of Ground Term Algebra Modulo an AC Symbol.

Jerzy Marcinkowski
Published in: RTA (1999)
Keyphrases