| | Temporalising Tableaux |
Has publishing details
76(1):91-134, 2004
Has title
Temporalising Tableaux
Has where published
Studia Logica
Has year
2004
Has author
Roman Kontchakov +, Carsten Lutz +, Frank Wolter +, Michael Zakharyaschev +
Has identifier
DBLP:journals/sLogica/KontchakovLWZ04 +
Categories Journal Paper +
|
