Representation of temporal information
From MaRDI portal
Publication:3657978
DOI10.1007/BF00996817zbMath0513.03017MaRDI QIDQ3657978
Publication date: 1982
Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03C99: Model theory
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
Cites Work