Time structures. Formal description and algorithmic representation
From MaRDI portal
Publication:1910348
DOI10.1007/3-540-60941-5zbMath1293.68008OpenAlexW4236761734MaRDI QIDQ1910348
Publication date: 1 April 1996
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60941-5
Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44)
Related Items (1)
This page was built for publication: Time structures. Formal description and algorithmic representation
