Logic programming and substitutions

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Department of Computer Science
Original languageEnglish
Title of host publicationFundamentals of Computation Theory : FCT '85 Cottbus, GDR, September 9–13, 1985
EditorsLothar Budach
Number of pages13
PublisherSpringer
Publication year1985
Pages146-158
DOIs
Publication statusPublished - 1985
SeriesLecture Notes in Computer Science
Volume199

See relations at Aarhus University Citationformats

ID: 36650389