( en | de | ru )

 

Disambiguation of "Voigt, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable.

, , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marco Voigt

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

 

Other publications of authors with the same name

The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable.. FroCoS, volume 10483 of Lecture Notes in Computer Science, page 244-261. Springer, (2017)Lower bounds for the runtime of a global multi-objective evolutionary algorithm., , and . IEEE Congress on Evolutionary Computation, page 432-439. IEEE, (2013)Towards Elimination of Second-Order Quantifiers in the Separated Fragment.. SOQE, volume 2013 of CEUR Workshop Proceedings, page 67-81. CEUR-WS.org, (2017)On the Expressivity and Applicability of Model Representation Formalisms., , and . FroCos, volume 11715 of Lecture Notes in Computer Science, page 22-39. Springer, (2019)A fine-grained hierarchy of hard problems in the separated fragment.. LICS, page 1-12. IEEE Computer Society, (2017)Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates.. Saarland University, Saarbrücken, Germany, (2019)