Relative undicidability in term rewriting

A. Geser, A. Middeldorp, E. Ohlebusch, H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of the Conference of the European Association of Computer Science Logic (CSL96)
EditorsD. van Dalen
Place of PublicationBerlin, Germany
PublisherSpringer
Pages150-166
Number of pages17
Publication statusPublished - 1997

Cite this