… The conference was originally planned to be held in BITS Pilani, KK Birla Goa Campus,
Goa, India. Due to the COVID-19 pandemic, the conference was held online from December …

… 2020). The conference was originally planned to be held in BITS Pilani, KK Birla Goa
Campus, Goa, India. Due to the COVID-19 pandemic, the …

… , editors, 40th IARCS Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, KK Birla Goa …

We present an innovative approach for capturing the complexity of ω-regular languages using
the concept of flowers. This semantic tool combines two syntax-based definitions, namely …

We consider the Graph Reconstruction problem given only query access to the input graph
via a Maximal Independent Set oracle. In this setting, in each round, the player submits a …

… BPL ⊆ NL, is a big open problem in theoretical computer science. It is well known that L ⊆
NL ⊆ … Now we will invoke Theorem 18, 19 by choosing parameter t properly according to the …

… Quantified Resolution Asymmetric Tautologies (QRAT) proof system is introduced in [18]
to capture the preprocessing steps performed by several QBF-solvers. It has been shown in [18] …

… BPL⊆ NL, is a big open problem in theoretical computer science. It is well known that L⊆
NL⊆ L-… Now we will invoke Theorem 18, 19 by choosing parameter t properly according to the …

… A classical question in the theory of automata is how to define canonical representations of
… While the definition of the natural color of a word (for a given language) is the main technical …

… oracle, in 40th IARCS Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, KK Birla Goa …