Declarative logic programming with primitive recursive
                relations on lists

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Logic Programming
Publisher	MIT Press
Publication date	1996
Pages	230-243
Publication status	Published - 1996
Event	Joint International Conference and Symposium on Logic Programming - Bonn Duration: 1 Jan 1996 → …

Conference	Joint International Conference and Symposium on Logic Programming
City	Bonn
Period	01/01/1996 → …

OpenUrl availability

@inproceedings{6da1579a2e8e41fa882f6fca966066de,

title = "Declarative logic programming with primitive recursive relations on lists",

author = "A. Hamfelt and Nilsson, {J{\o}rgen Fischer}",

year = "1996",

language = "English",

pages = "230--243",

booktitle = "Logic Programming",

publisher = "MIT Press",

note = "Joint International Conference and Symposium on Logic Programming ; Conference date: 01-01-1996",

}

TY - GEN

T1 - Declarative logic programming with primitive recursive relations on lists

AU - Hamfelt, A.

AU - Nilsson, Jørgen Fischer

PY - 1996

Y1 - 1996

M3 - Article in proceedings

SP - 230

EP - 243

BT - Logic Programming

PB - MIT Press

T2 - Joint International Conference and Symposium on Logic Programming

Y2 - 1 January 1996

ER -