( en | de | ru )

 

Disambiguation of "Reynolds, Mark"

Author of the publication

copydeleteadd this publication to your clipboard
Axiomatisation and decidability ofF andP in cyclical time.

. J. Philos. Log., 23 (2): 197-224 (1994)

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 supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC, , , , and . Journal of Computing in Higher Education, (May 24, 2019)AI 2011 Advances in artificial intelligence : 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011, proceedings, , and . (2011)Metric temporal logic revisited.. Acta Informatica, 53 (3): 301-324 (2016)Undecidability of Compass Logic., and . J. Log. Comput., 9 (6): 897-914 (1999)A tableau-based decision procedure for CTL.. Formal Aspects Comput., 23 (6): 739-779 (2011)Graph Embeddings for Non-IID Data Feature Representation Learning., , , and . AusDM, volume 1741 of Communications in Computer and Information Science, page 43-57. Springer, (2022)Finding minimum and maximum termination time of timed automata models with cyclic behaviour., , and . Theor. Comput. Sci., (2017)Developing machine learning systems worthy of trust for infection science: a requirement for future implementation into clinical practice., , and . Frontiers Digit. Health, (March 2023)Axiomatising first-order temporal logic: until and since over linear time.. Stud Logica, 57 (2/3): 279-302 (1996)Rewrite rules for CTL., and . J. Appl. Log., (2017)