-
Combining Data Structures with Nonstably Infinite Theories using Many-Sorted ...
Most computer programs store elements of a given nature into container-based data structures such as lists, arrays, sets, and multisets. To verify the correctness of... -
Topological Complexity of Context-Free omega-Languages: A Survey
International audience -
Topological Properties of Omega Context Free Languages
This paper is a study of topological properties of omega context free languages (omega-CFL). We first extend some decidability results for the deterministic ones... -
Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
Article dans revue scientifique avec comité de lecture. internationale.
