zbMath1079.03529MaRDI QIDQ3365587
Dimiter Skordev
Publication date: 23 January 2006
zbMATH Keywords
positive cone; right-ordered group; interval temporal logic; duration domain
Mathematics Subject Classification ID
03B70: Logic in computer science
06F15: Ordered groups
03B44: Temporal logic
Related Items