FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Fixpoint Logics, Relational Machines, and Computational Complexity

Author: Victor Vianu

Paper Information

Title:Fixpoint Logics, Relational Machines, and Computational Complexity
Authors:Victor Vianu
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:fixpoint logic, computational complexity, relational machines, relational complexity
Pages:1
Talk:Aug 01 15:00 (Session 35B)
Paper: