The universal resolving algorithm: Inverse computation in a functional language, Lecture Notes in Computer Science, Vol.1837

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  • Sergei M. Abramov
  • Robert Glück
Original languageEnglish
Title of host publicationProceedings in Mathematics of Program Construction
PublisherSpringer
Publication date2000
Pages187-212
Publication statusPublished - 2000

ID: 179802