28 citations · 115 across the 21 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 3 cited
Constraint LTL Satisfiability Checking without Automata
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti +3
This paper introduces a novel technique to decide the satisfiability of formulae written in the language of Linear Temporal Logic with Both future and past operators and atomic for…
cs.FL2012★ 1 cited
Logic Characterization of Floyd Languages
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Floyd languages (FL), alias Operator Precedence Languages, have recently received renewed attention thanks to their closure properties and local parsability which allow one to appl…