PROOF ANALYSIS OF GLOBAL CONSEQUENCE

Autor(en):

Tranchini, Luca; Cobreros, Pablo

Tübinger Autor(en):

Erschienen in:

Logique et Analyse (2017), Bd. , H. 239, S. 355-373

Verlagsangabe:

Centre National Belge Recherches Logique

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

0024-5836

DDC-Klassifikation:

610 - Medizin, Gesundheit
004 - Informatik
300 - Sozialwissenschaften, Soziologie, Anthropologie

Dokumentart:

Wissenschaftlicher Artikel
Konferenzveröffentlichung

Das Dokument erscheint in: