A complete resolution for logical meta-programming languages

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationMETA-92 : third International Workshop on Metaprogramming in logic
    EditorsA. Pettorossi, J. Barklund
    Publication date1992
    Pagess. 142-156
    Publication statusPublished - 1992
    EventMETA-92 : third International Workshop on Metaprogramming in logic - Uppsala, Sweden
    Duration: 10 Jun 199212 Jun 1992
    Conference number: 3

    Workshop

    WorkshopMETA-92 : third International Workshop on Metaprogramming in logic
    Number3
    CountrySweden
    CityUppsala
    Period10/06/199212/06/1992

    Cite this