Soft Subexponentials and Multiplexing

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-030-51074-9_29 ◽

2020 ◽

pp. 500-517

Author(s):

Max Kanovich ◽

Stepan Kuznetsov ◽

Vivek Nigam ◽

Andre Scedrov

Download Full-text