A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
From MaRDI portal
Publication:4275691
DOI10.1080/11663081.1992.10510781zbMath0790.03017OpenAlexW1988692318MaRDI QIDQ4275691
Could not fetch data.
Publication date: 1 February 1994
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.1992.10510781
Could not fetch data.
Could not fetch data.
