Programs with Recursively Defined Data Structures (Dagstuhl Seminar 98161)

Authors Michael I. Schwartzbach, Mooly Sagiv, Karsten Weihe, Kurt Mehlhorn



PDF
Thumbnail PDF

File

DagSemRep.207.pdf
  • Filesize: 253 kB
  • 24 pages

Document Identifiers

Author Details

Michael I. Schwartzbach
Mooly Sagiv
Karsten Weihe
Kurt Mehlhorn

Cite AsGet BibTex

Michael I. Schwartzbach, Mooly Sagiv, Karsten Weihe, and Kurt Mehlhorn. Programs with Recursively Defined Data Structures (Dagstuhl Seminar 98161). Dagstuhl Seminar Report 207, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1998)
https://doi.org/10.4230/DagSemRep.207

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail