Eben Blaisdell

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Datalog Programs

Cut Elimination

Top Venues

Electron. J. Comb.

Publications

Eben Blaisdell
Decidable Exponentials in Nonassociative Noncommutative Linear Logic. CoRR (2023)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version). CoRR (2023)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Explorations in Subexponential Non-associative Non-commutative Linear Logic. CoRR (2023)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Non-associative, Non-commutative Multi-modal Linear Logic. IJCAR (2022)
Eben Blaisdell, András Gyárfás, Robert A. Krueger, Ronen Wdowinski
-free parts. Electron. J. Comb. 26 (3) (2019)