Exemplare: :: Library Catalog

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E., Češka, Milan, Grover, Kush, Hahn, Ernst Moritz, Hartmanns, Arnd, Israelsen, Bryant, Jansen, Nils, Jeppson, Joshua, Junges, Sebastian, Köhl, Maximilian A., Könighofer, Bettina, Křetínský, Jan, Meggendorfer, Tobias, Parker, David, Pranger, Stefan, Quatmann, Tim, Ruijters, Enno, Taylor, Landon, Volk, Matthias, Weininger, Maximilian, Zhang, Zhen
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2405.13583
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2405.13583