Cover von Fitting’s Style Many-Valued Interval Temporal Logic Tableau System opens in new tab

Fitting’s Style Many-Valued Interval Temporal Logic Tableau System

Theory and Implementation
Year: 2024
Media group: LIPIcs

Details

Search for this author
Year: 2024
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 7:1-7:16
Participating parties: Search for this character Badia, Guillermo; Noguera, Carles; Paparella, Alberto; Sciavicco, Guido; Stan, Ionel Eduard
Media group: LIPIcs