Author:Antonina Nepeivoda

Keyphrases

almost well relation, cryptographic protocols, Higman embedding, loop approximation, ping-pong protocols², prefix grammar, prefix rewriting, program transformation, supercompilation³, Turchin relation, verification.