Models and resolution principles for logical meta-programming anguages

Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

Originalsprog	Engelsk

Udgivelsessted	Le Chesnay
Status	Udgivet - 1992

Citationsformater

@book{132409a052c711db9789000ea68e967b,

title = "Models and resolution principles for logical meta-programming anguages",

keywords = "logic programming, meta-programming, programming languages, resolution, model-based semantics",

author = "Henning Christiansen",

year = "1992",

language = "English",

series = "INRIA rapports de recherche",

number = "1594",

}

TY - RPRT

T1 - Models and resolution principles for logical meta-programming anguages

AU - Christiansen, Henning

PY - 1992

Y1 - 1992

KW - logic programming

KW - meta-programming

KW - programming languages

KW - resolution

KW - model-based semantics

M3 - Report

T3 - INRIA rapports de recherche

BT - Models and resolution principles for logical meta-programming anguages

CY - Le Chesnay

ER -