Unboundedness Problems for Machines with Reversal-Bounded Counters

Baumann, Pascal; D’Alessandro, Flavio; Ganardi, Moses; Ibarra, Oscar; McQuillan, Ian; Schütze, Lia; Zetzsche, Georg

doi:10.1007/978-3-031-30829-1_12

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Konferenzbeitrag

Unboundedness Problems for Machines with Reversal-Bounded Counters

MPG-Autoren

/persons/resource/persons274580

Baumann, Pascal
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons266088

Ganardi, Moses
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons276235

Schütze, Lia
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons230970

Zetzsche, Georg
Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

978-3-031-30829-1_12.pdf
(Verlagsversion), 577KB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Baumann, P., D’Alessandro, F., Ganardi, M., Ibarra, O., McQuillan, I., Schütze, L., et al. (2023). Unboundedness Problems for Machines with Reversal-Bounded Counters. In O. Kupferman, & P. Sobocinski (Eds.), Foundations of Software Science and Computation Structures (pp. 240-264). Berlin: Springer. doi:10.1007/978-3-031-30829-1_12.

Zitierlink: https://hdl.handle.net/21.11116/0000-000D-0DC6-6

Zusammenfassung

Es ist keine Zusammenfassung verfügbar