A resolution calculus for the branching-time temporal logic CTL

From MaRDI portal
Publication:5410337

DOI10.1145/2529993zbMath1287.03033OpenAlexW2080448334MaRDI QIDQ5410337

Lan Zhang, Ullrich Hustadt, Clare Dixon

Publication date: 16 April 2014

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2529993




Related Items (6)


Uses Software


Cites Work


This page was built for publication: A resolution calculus for the branching-time temporal logic CTL