Nachum Dershowitz*

*Corresponding author for this work

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)III-IV
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume355 LNCS
StatePublished - 1989
Externally publishedYes
Event3rd International Conference on Rewriting Techniques and Applications, RTA 1989 - Chapel Hill, United States
Duration: 3 Apr 19895 Apr 1989


FundersFunder number
Chengdu University of Technology

    Cite this