External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of Rewrite Rules for Computation Tree Logics

John Christopher McCabe-Dansted, Mark Reynolds. Verification of Rewrite Rules for Computation Tree Logics. In Amedeo Cesta, Carlo Combi, François Laroussinie, editors, 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014. pages 142-151, IEEE, 2014. [doi]

Authors

John Christopher McCabe-Dansted

This author has not been identified. Look up 'John Christopher McCabe-Dansted' in Google

Mark Reynolds

This author has not been identified. Look up 'Mark Reynolds' in Google
runs on