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.

Deductive and Inductive Methods for Program Synthesis

Jaan Penjam, Elena Sanko. Deductive and Inductive Methods for Program Synthesis. In Walter Dosch, Roger Y. Lee, editors, Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 03), October 16-18, 2003, Lübeck, Germany. pages 188-195, ACIS, 2003.

Authors

Jaan Penjam

This author has not been identified. Look up 'Jaan Penjam' in Google

Elena Sanko

This author has not been identified. Look up 'Elena Sanko' in Google
runs on