مرکز منطقه ای اطلاع رساني علوم و فناوري - A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

Title of article :

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

Author/Authors :

Falaschi M.، نويسنده , , Levi G.، نويسنده , , Martelli M.، نويسنده , , Palamidessi C.، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1993

Pages :

From page :

To page :

113

Journal title :

Information and Computation

Serial Year :

1993

Journal title :

Information and Computation

Record number :

261308

Link To Document :