Login / Signup

A Syntactic Operator for Forgetting that Satisfies Strong Persistence.

Matti BertholdRicardo GonçalvesMatthias KnorrJoão Leite
Published in: Theory Pract. Log. Program. (2019)
Keyphrases