E. Karafili
AuthID: R-00J-Y7K
1
TITLE: Time-stamped claim logic
AUTHORS: Rasga, J; Sernadas, C; Karafili, E; Vigano, L;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 3
AUTHORS: Rasga, J; Sernadas, C; Karafili, E; Vigano, L;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 3
INDEXED IN: 
WOS
WOS