Towards a Logic Programming Methodology based on Higher-order
                Predicates

Research output: Contribution to journal › Journal article › Research › peer-review

OpenUrl availability

@article{ce54d2bcc579469abe502d05d7833464,

title = "Towards a Logic Programming Methodology based on Higher-order Predicates",

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

year = "1997",

language = "English",

volume = "15",

pages = "421--448",

journal = "New Generation Computing",

issn = "1882-7055",

publisher = "Springer Japan KK",

}