Writing out Unifiers in Linear Temporal Logic
Vladimir Vladimirovich Rybakov · Journal of Logic and Computation · 2011
Journal Article Writing out Unifiers in Linear Temporal Logic Get access Vladimir V. Rybakov Vladimir V. Rybakov School of Computing, Mathematics and IT, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, UK.E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 22, Issue 5, October 2012, Pages 1199–1206, https://doi.org/10.1093/logcom/exr022 Published: 02 September 2011 Article history Received: 22 November 2010 Published: 02 September 2011