Nested Sequents
Abschlussbedingungen
Habilitationsschrift, Kai Brunnler, Institut fur Informatik und angewandte Mathematik, Universitat Bern, 2018
Klicken Sie auf den Link 'brunnler_hab_nested_sequents_ML.pdf', um die Datei anzuzeigen