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.

When input-driven pushdown automata meet reversibility

Martin Kutrib, Andreas Malcher, Matthias Wendlandt. When input-driven pushdown automata meet reversibility. In Rudolf Freund, Markus Holzer, Nelma Moreira, Rogério Reis, editors, Seventh Workshop on Non-Classical Models of Automata and Applications - NCMA 2015, Porto, Portugal, August 31 - September 1, 2015. Proceedings. Volume 318 of books@ocg.at, pages 141-157, Österreichische Computer Gesellschaft, 2015.

Authors

Martin Kutrib

This author has not been identified. Look up 'Martin Kutrib' in Google

Andreas Malcher

This author has not been identified. Look up 'Andreas Malcher' in Google

Matthias Wendlandt

This author has not been identified. Look up 'Matthias Wendlandt' in Google
runs on