Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Universal First-Order Quantification over Automata

Subjects: infinite-word automata; first-order logic; quantifier elimination

  • Source: urn:isbn:978-3-03-140247-0urn:isbn:978-3-03-140246-3Implementation and Application of Automata, 12 (2023-09); 27th International Conference on Implementation and Application of Automata

تفاصيل العنوان

×
  • 1-10 of  239 نتائج ل ""Universal""