Nested Sequents
Požadavky na absolvování
Habilitationsschrift, Kai Brunnler, Institut fur Informatik und angewandte Mathematik, Universitat Bern, 2018
Klikněte na odkaz brunnler_hab_nested_sequents_ML.pdf pro zobrazení souboru.