11th FroCos 2017: Brasília, Brazil

Refine list

showing all ?? records

Invited Talks

Description and Temporal Logics

Rewriting

SAT, SMT and Automated Theorem Proving

Decision Procedures, Decidability and Verification

Properties and Combinations of Logic