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.

PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization

Facundo Carreiro, Yde Venema. PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. In Rajeev Goré, Barteld P. Kooi, Agi Kurucz, editors, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. pages 74-93, College Publications, 2014. [doi]

Authors

Facundo Carreiro

This author has not been identified. Look up 'Facundo Carreiro' in Google

Yde Venema

This author has not been identified. Look up 'Yde Venema' in Google
runs on