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.

Tracking Computability of GPAC-Generable Functions

Diogo Poças, Jeffery I. Zucker. Tracking Computability of GPAC-Generable Functions. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings. Volume 11972 of Lecture Notes in Computer Science, pages 214-235, Springer, 2020. [doi]

Authors

Diogo Poças

This author has not been identified. Look up 'Diogo Poças' in Google

Jeffery I. Zucker

This author has not been identified. Look up 'Jeffery I. Zucker' in Google
runs on