TY -
GEN
AU - Matsuoka, Satoshi
TI -
Logic-Based Program Synthesis and Transformation: A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic
PB - Springer International Publishing
SN - 0302-9743
SN - 1611-3349
PY - 2021
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -