Deciding two-variable logic with global and local Presburger quantification

Michael Benedikt, Chia-Hsuan Lu, Alex Perry, Tony Tan

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.