Aarhus University Seal / Aarhus Universitets segl

Logic programming and substitutions

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

Standard

Logic programming and substitutions. / Frandsen, Gudmund Skovbjerg.

Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985. ed. / Lothar Budach. Springer, 1985. p. 146-158 (Lecture Notes in Computer Science, Vol. 199).

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

Harvard

Frandsen, GS 1985, Logic programming and substitutions. in L Budach (ed.), Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985. Springer, Lecture Notes in Computer Science, vol. 199, pp. 146-158. https://doi.org/10.1007/BFb0028799

APA

Frandsen, G. S. (1985). Logic programming and substitutions. In L. Budach (Ed.), Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985 (pp. 146-158). Springer. Lecture Notes in Computer Science Vol. 199 https://doi.org/10.1007/BFb0028799

CBE

Frandsen GS. 1985. Logic programming and substitutions. Budach L, editor. In Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985. Springer. pp. 146-158. (Lecture Notes in Computer Science, Vol. 199). https://doi.org/10.1007/BFb0028799

MLA

Frandsen, Gudmund Skovbjerg "Logic programming and substitutions". Budach, Lothar (ed.). Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985. Springer. (Lecture Notes in Computer Science, Vol. 199). 1985, 146-158. https://doi.org/10.1007/BFb0028799

Vancouver

Frandsen GS. Logic programming and substitutions. In Budach L, editor, Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985. Springer. 1985. p. 146-158. (Lecture Notes in Computer Science, Vol. 199). https://doi.org/10.1007/BFb0028799

Author

Frandsen, Gudmund Skovbjerg. / Logic programming and substitutions. Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985. editor / Lothar Budach. Springer, 1985. pp. 146-158 (Lecture Notes in Computer Science, Vol. 199).

Bibtex

@inproceedings{fbe2135a4dd64e52a95da91c3faec428,
title = "Logic programming and substitutions",
author = "Frandsen, {Gudmund Skovbjerg}",
year = "1985",
doi = "10.1007/BFb0028799",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "146--158",
editor = "Lothar Budach",
booktitle = "Fundamentals of Computation Theory",

}

RIS

TY - GEN

T1 - Logic programming and substitutions

AU - Frandsen, Gudmund Skovbjerg

PY - 1985

Y1 - 1985

U2 - 10.1007/BFb0028799

DO - 10.1007/BFb0028799

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science

SP - 146

EP - 158

BT - Fundamentals of Computation Theory

A2 - Budach, Lothar

PB - Springer

ER -