Login / Signup

Hypersequents and Systems of Rules: Embeddings and Applications.

Agata CiabattoniFrancesco A. Genco
Published in: ACM Trans. Comput. Log. (2018)
Keyphrases