RPTU
Fachbereich Informatik
AG Programmiersprachen
Deutsch
Hauptnavigation
AG Programmiersprachen
Mitarbeiter
Forschung
Lehre
Veröffentlichungen
Offene Stellen
AG Programmiersprachen
AG Programmiersprachen
Veröffentlichungen
Publikationen Ralf Hinze
2017
A Logical Reconstruction of Batcher’s Mergers Bitonicity is a Red Herring
Ralf Hinze and Clare Martin. In J. UCS, volume 23, number 1, pages 21–41 2017. (
bib
,
url
)