Maja Orlowska

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Monadic Second Order Logic

Inference Rules

Top Venues

Publications

Bartosz Bednarczyk, Maja Orlowska, Anna Pacanowska, Tony Tan
On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics. FSTTCS (2021)
Bartosz Bednarczyk, Maja Orlowska, Anna Pacanowska, Tony Tan
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics. CoRR (2021)