Verfasser Suchresultate :: Subito Katalog

1

Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic

von Gheorghiu, Alexander V.
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: