Media type: Text; E-Article; E-Article Title: A tableau calculus for first-order branching time logic Contributor: May, Wolfgang [Author]; Schmitt, Peter H. [Author] imprint: KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Language: English Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.