Browse by Author

Group by: Item Type | No Grouping

Number of items: 2.

Demri, Stephane and D'Souza, Deepak and Gascon, Regis (2012) Temporal Logics of Repeating Values. In: JOURNAL OF LOGIC AND COMPUTATION, 22 (5). pp. 1059-1096.

Demri, Stephane and D’Souza, Deepak (2007) An automata-theoretic approach to constraint LTL. In: Information and Computation, 205 (3). pp. 380-415.

This list was generated on Fri Dec 27 02:46:58 2024 IST.


	Powered by EPrints		A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India

Export as	Atom RSS 1.0 RSS 2.0