Tanguy Bozec

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Cut Elimination

Predicate Logic

Action Theories

Function Symbols

Top Venues

Publications

Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu
What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment? IJCAR (2) (2024)