Fingerprint
Untersuchen Sie die Forschungsthemen von „Verifying and reflecting quantifier elimination for presburger arithmetic“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
Verifying and reflecting quantifier elimination for presburger arithmetic
Amine Chaieb, Tobias Nipkow
Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Begutachtung
16
Zitate
(Scopus)