Folgen
Andrei Draghici
Andrei Draghici
Dphil Sudent, Oxford University
Bestätigte E-Mail-Adresse bei stcatz.ox.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
Reachability in Fixed VASS: Expressiveness and Lower Bounds
A Draghici, C Haase, A Ryzhikov
International Conference on Foundations of Software Science and Computation …, 2024
2024
Sem\" enov Arithmetic, Affine VASS, and String Constraints
A Draghici, C Haase, F Manea
arXiv preprint arXiv:2306.14593, 2023
2023
On the Complexity of Inductively Learning Guarded Clauses
A Draghici, G Gottlob, M Lanzinger
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5600-5607, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3