FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Algorithms, Complexity, Verification: From Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape

Author: Joel Ouaknine

Paper Information

Title:Algorithms, Complexity, Verification: From Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape
Authors:Joel Ouaknine
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Skolem Problem, Loop termination, Program verification
Pages:1
Talk:Aug 01 14:25 (Session 34Q)
Paper: