The following pages link to Everardo Bárcenas (Q1744426):
Displayed 5 items.
- On regular paths with counting and data tests (Q1744429) (← links)
- A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
- Mu-calculus satisfiability with arithmetic constraints (Q2226964) (← links)
- Global Numerical Constraints on Trees (Q4979448) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)