Description: Fabio Mogavero's home page: academic\personal web site.
Keywords: Theoretical Computer Science; Formal Systems; Games in Computer Science; First and Second Order Logics; Fixpoint Logics; Modal Logics; Temporal Logics; Strategic Logics; Algorithmic and Combinatorial Game Theory; Model Theory; Computability Theory; Complexity Theory; Mathematical Foundation; Axiomatic Theories; Theorem Provers and Verifiers.
Computers Computer Science Theoretical People Students 网站
2025年02月21日