Framed temporal logic programming

From MaRDI portal
Publication:2469157

DOI10.1016/j.scico.2007.09.001zbMath1131.68036OpenAlexW2093832730MaRDI QIDQ2469157

Xiao-Xiao Yang, Maciej Koutny, Zhenhua Duan

Publication date: 4 February 2008

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2007.09.001




Related Items (22)






This page was built for publication: Framed temporal logic programming