A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions

GIOVANNETTI, Elio;
1987-01-01

1987 Symposium on Logic Programming
San Franscisco (USA)
31 agosto - 4 settembre 1987
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, August 31 - September 4, 1987
IEEE-CS
318
327
0818607998
G. Levi; C. Palamidessi; P. G. Bosco; E. Giovannetti; C. Moiso
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/111936
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 18
  • ???jsp.display-item.citation.isi??? ND
social impact