TY -
GEN
AU - Lick, Anthony
TI -
Lecture Notes in Computer Science: A Hypersequent Calculus with Clusters for Data Logic over Ordinals
PB - Springer International Publishing
SN - 0302-9743
SN - 1611-3349
PY - 2019
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -