Linear Temporal Logic and Propositional Schemata, Back and Forth

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. Linear Temporal Logic and Propositional Schemata, Back and Forth. In Carlo Combi, Martin Leucker, Frank Wolter, editors, Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, L├╝beck , Germany, September 12-14, 2011. pages 80-87, IEEE, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.