Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Jump to: 2013

Number of items: 1.

2013

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2013) The complexity of clausal fragments of LTL. In: McMillan, K. and Middeldorp, A. and Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 8312. Berlin, Germany: Springer, pp. 35-52. ISBN 9783642452215.

This list was generated on Sat Nov 23 07:13:17 2024 GMT.

Export as	Atom RSS