Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Logic-Based Program Synthesis and Transformation: A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic
Beteiligte:
Matsuoka, Satoshi
Erschienen:
Springer International Publishing, 2021
Erschienen in:Logic-Based Program Synthesis and Transformation