> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Certifying Term Rewriting Proofs in ELAN Beteiligte: Nguyen, Quang-Huy Erschienen: Elsevier BV, 2001 Erschienen in: Electronic Notes in Theoretical Computer Science, 59 (2001) 4, Seite 320-340 Sprache: Englisch DOI: 10.1016/s1571-0661(04)00295-6 ISSN: 1571-0661 Schlagwörter: General Computer Science ; Theoretical Computer Science Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang