مرکز منطقه ای اطلاع رساني علوم و فناوري - Logic Programming in a Fragment of Intuitionistic Linear Logic

Title of article :

Logic Programming in a Fragment of Intuitionistic Linear Logic

Author/Authors :

Hodas J. S.، نويسنده , , Miller D.، نويسنده ,

Issue Information :

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

Pages :

From page :

327

To page :

365

Journal title :

Information and Computation

Serial Year :

1994

Journal title :

Information and Computation

Record number :

261391

Link To Document :