Research output

  1. Integer Linear-Exponential Programming in NP by Quantifier Elimination

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  2. Existential Definability of Unary Predicates in Büchi Arithmetic

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  3. Existential Definability with Addition and k-Regular Predicates

    Research output: Contribution to conferenceAbstract

View all (16) »

Activities

  1. Büchi Arithmetic: Finite Automata and Quantifier Elimination

    Activity: Conference talk typesInvited talk

  2. Quantifier Elimination for Existential Büchi Arithmetic

    Activity: Conference talk typesOral presentation

  3. Integer Linear-Exponential Programming in NP by Quantifier Elimination

    Activity: Conference talk typesOral presentation

View all (8) »

ID: 223409