zbMath1079.03529MaRDI QIDQ3365587
Dimiter Skordev
Publication date: 23 January 2006
zbMATH Keywords
positive coneright-ordered groupinterval temporal logicduration domain
Mathematics Subject Classification ID
Logic in computer science (03B70) Ordered groups (06F15) Temporal logic (03B44)
Related Items