共 50 条
- [1] A residualizing semantics for the partial evaluation of functional logic programsINFORMATION PROCESSING LETTERS, 2003, 85 (01) : 19 - 25Albert, EHanus, MVidal, G
- [2] Semantics of (disjunctive) logic programs based on partial evaluationJOURNAL OF LOGIC PROGRAMMING, 1999, 40 (01): : 1 - 46Brass, SDix, J
- [4] FROM GENERAL SEMANTICS VERSUS LOGIC TO GENERAL SEMANTICS AND LOGICETC-REVIEW OF GENERAL SEMANTICS, 1972, 29 (04): : 359 - 364GINGERIC.ED
- [5] Semantics for the Logic of EssenceJournal of Philosophical Logic, 2000, 29 : 543 - 584Kit Fine
- [6] ON THE SEMANTICS OF LOGIC PROGRAMSLECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 1 - 19GABBRIELLI, MLEVI, G
- [7] SEMANTICS AND COMPARATIVE LOGICJOURNAL OF INDIAN PHILOSOPHY, 1992, 20 (04) : 377 - 418NIEUWENDIJK, A
- [8] ON THE SEMANTICS OF COMPARATIVE LOGICZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (05): : 433 - 448MINARI, P
- [9] Logic and Semantics for ImperativesJournal of Philosophical Logic, 2014, 43 : 617 - 664Nate Charlow