( en | de | ru )

 

Disambiguation of "Reynolds, Mark"

Author of the publication

copydeleteadd this publication to your clipboard
Axiomatising first-order temporal logic: until and since over linear time.

. Stud Logica, 57 (2/3): 279-302 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Reynolds

Alexandra Reynolds

Margret Reynolds

James Reynolds

York Reynolds

 

Other publications of authors with the same name

A Tableau for CTL.. FM, volume 5850 of Lecture Notes in Computer Science, page 403-418. Springer, (2009)Non-Definability of the Class of Complete Bundled Trees., , and . Log. J. IGPL, 7 (1): 125-136 (1999)Languages, Meta-languages and METATEM, A Discussion Paper., , , , , , , , , and . Log. J. IGPL, 4 (2): 255-272 (1996)A One-Pass Tree-Shaped Tableau for LTL+Past., , and . LPAR, volume 46 of EPiC Series in Computing, page 456-473. EasyChair, (2017)Review of clustering algorithms for microgrid formation., , , , and . ISGT Asia, page 1-6. IEEE, (2017)A Tableau for Temporal Logic over the Reals.. Advances in Modal Logic, page 439-458. College Publications, (2014)A Sound and Complete Proof System for QPTL., and . Advances in Modal Logic, page 127-148. King's College Publications, (2002)Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem., , , , and . CEC, page 2498-2505. IEEE, (2019)An Efficient Tableau for Linear Time Temporal Logic., , and . Australasian Conference on Artificial Intelligence, volume 8272 of Lecture Notes in Computer Science, page 289-300. Springer, (2013)Continuous Temporal Models.. Australian Joint Conference on Artificial Intelligence, volume 2256 of Lecture Notes in Computer Science, page 414-425. Springer, (2001)