FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic"

Author: Sandeep Shukla

Paper Information

Title: A Short Talk Proposal for the VardiFest "On the Not So Unusual Effectiveness of Logic"
Authors:Sandeep Shukla
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Model Checking, Branching Time, Omega Automata, Bell Labs, CAV, BDD, Linear Time
Pages:1
Talk:Jul 31 12:30 (Session 12B)
Paper: