A complete resolution for logical meta-programming languages

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

Original language	English
Title of host publication	META-92 : third International Workshop on Metaprogramming in logic
Editors	A. Pettorossi, J. Barklund
Publication date	1992
Pages	s. 142-156
Publication status	Published - 1992
Event	META-92 : third International Workshop on Metaprogramming in logic - Uppsala, Sweden Duration: 10 Jun 1992 → 12 Jun 1992 Conference number: 3

Workshop	META-92 : third International Workshop on Metaprogramming in logic
Number	3
Country	Sweden
City	Uppsala
Period	10/06/1992 → 12/06/1992

Cite this

@inproceedings{31b209406b6211dbb485000ea68e967b,

title = "A complete resolution for logical meta-programming languages",

author = "Henning Christiansen",

year = "1992",

language = "English",

pages = "s. 142--156",

editor = "A. Pettorossi and J. Barklund",

booktitle = "META-92 : third International Workshop on Metaprogramming in logic",

note = "null ; Conference date: 10-06-1992 Through 12-06-1992",

}