Weak mu-equality is decidable

Published in: CoRR (2011)

Keyphrases

function symbols
logic programs
first order logic
transitive closure
description logics
development environment
answer set programming
exptime complete