TY -
GEN
AU - May, Wolfgang
AU - Schmitt, Peter H.
TI -
A tableau calculus for first-order branching time logic
KW - DATA processing & computer science
PY - 2008-01-16
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=126-ZnR1YmthcmxzcnVoZTpvYWk6RVZBU1RBUi1LYXJsc3J1aGUuZGU6MjMwMDk2&tx_find_find%5Btype%5D=ris
ER -