Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference37 articles.
1. From liveness to promptness;Kupferman;Form. Methods Syst. Des.,2009
2. An automata-theoretic approach to constraint LTL;Demri;Inf. Comput.,2007
3. LTL with the freeze quantifier and register automata;Demri;ACM Trans. Comput. Log.,2009
4. Temporal logics of repeating values;Demri;J. Log. Comput.,2012
5. Reasoning about data repetitions with counter systems;Praveen;Log. Methods Comput. Sci.,2016