Termination of logic using semantic unification

  • T. Arts
  • , H. Zantema

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

Original languageUndefined/Unknown
Title of host publicationProceedings of the Fifth International Workshop on Logic Program Synthesis and Transformation
EditorsM. Proietti
Place of PublicationBerlin, Germany
PublisherSpringer
Pages219-233
Number of pages15
Publication statusPublished - 1996

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this