Showing 1 - 4 results of 4 for search 'Alexis Bès', query time: 0.02s Refine Results
  1. 1
    An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet

    An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet by Alexis Bès

    Published 2008-03-01
    Get full text
    Article
  2. 2
    Expansions of MSO by cardinality relations

    Expansions of MSO by cardinality relations by Alexis Bès

    Published 2013-12-01
    Get full text
    Article
  3. 3
    Decidable Expansions of Labelled Linear Orderings

    Decidable Expansions of Labelled Linear Orderings by Alexis Bes, Alexander Rabinovich

    Published 2011-05-01
    Get full text
    Article
  4. 4
    Theories of real addition with and without a predicate for integers

    Theories of real addition with and without a predicate for integers by Alexis Bès, Christian Choffrut

    Published 2021-05-01
    Get full text
    Article

Search Tools: