Liveness in rewriting

J. Giesl, H. Zantema

Research output: Book/Report › Report › Academic

88 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages26
Publication statusPublished - 2003

Publication series

NameComputer science reports
Volume0301
ISSN (Print)0926-4515

Access to Document

  • 200301Final published version, 6.96 MB

    Cite this