9 citations · 36 across the 34 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Complete Cyclic Proof Systems for Inductive Entailments
Radu Iosif, Cristina Serban
In this paper we develop cyclic proof systems for the problem of inclusion between the least sets of models of mutually recursive predicates, when the ground constraints in the ind…
cs.FL2017
The Impact of Alternation
Radu Iosif, Xiao Xu
Alternating automata have been widely used to model and verify systems that handle data from finite domains, such as communication protocols or hardware. The main advantage of the…