FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
To Count or Not to Count: A Personal Perspective

Author: Supratik Chakraborty

Paper Information

Title:To Count or Not to Count: A Personal Perspective
Authors:Supratik Chakraborty
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Counting, LTL model checking, Logic and finite model theory, Recollections
Pages:1
Talk:Aug 01 15:10 (Session 35B)
Paper: