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.

Simplifying Inductive Schemes in Temporal Logic

Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez. Simplifying Inductive Schemes in Temporal Logic. In Johann Gamper, Sophie Pinchinat, Guido Sciavicco, editors, 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. Volume 147 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Authors

Pablo Cordero

This author has not been identified. Look up 'Pablo Cordero' in Google

Inmaculada Fortes

This author has not been identified. Look up 'Inmaculada Fortes' in Google

Inmaculada Perez de Guzmán

This author has not been identified. Look up 'Inmaculada Perez de Guzmán' in Google

Sixto Sánchez

This author has not been identified. Look up 'Sixto Sánchez' in Google
runs on