A multimodal logic to define modules in logic programming

Research output: Contribution to conference › Paper

Original language	Italian
Pages	473-487
Number of pages	15
Publication status	Published - 1 Jan 1993
Event	1993 International Logic Programming Symposium - Duration: 1 Jan 1993 → …

Conference	1993 International Logic Programming Symposium
Period	1/01/93 → …

Cite this

@conference{5260e1a20a6c4c229365fc417664bb6e,

title = "A multimodal logic to define modules in logic programming",

author = "BALDONI M. and Laura GIORDANO and MARTELLI A.",

year = "1993",

month = jan,

day = "1",

language = "Italian",

pages = "473--487",

note = "1993 International Logic Programming Symposium ; Conference date: 01-01-1993",

}