Sign in

Matching mu-Logic: Foundation of K Framework (Invited Paper).

Xiaohong ChenGrigore Rosu
Published in: CALCO (2019)
Keyphrases