Art

J-GLOBAL ID：200902177722631489   Reference number：94A0255783

A compositional semantics for logic programs.

Author (4)： BOSSI A (Univ. Padova, Padova, ITA) ,  GABBRIELLI M (Univ. Pisa, Pisa, ITA) ,  LEVI G (Univ. Pisa, Pisa, ITA) ,  MEO M C (Univ. Pisa, Pisa, ITA)
Material： Theoretical Computer Science  (Theoretical Computer Science Part B. Logic, Semantics and Theory of Programming)
Volume： 122  Issue： 1/2  Page： 3-47  Publication year： Jan. 03, 1994 
JST Material Number： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  Document type： Article
Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)