TY - GEN
AU - Afshari, Bahareh
AU - Leigh, Graham E.
AU - Menéndez Turata, Guillermo
AU - Bahareh Afshari and Graham E. Leigh and Guillermo Menéndez Turata
TI - A Cyclic Proof System for Full Computation Tree Logic
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Cyclic proofs
KW - Hypersequent calculus
KW - Full computation tree logic
PY - 2023
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation