> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel; E-Artikel; Sonstige Veröffentlichung Titel: A tableau calculus for first-order branching time logic Beteiligte: May, Wolfgang [VerfasserIn]; Schmitt, Peter H. [VerfasserIn] Erschienen: KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Sprache: Englisch Schlagwörter: DATA processing & computer science Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.