User Settings
Book Chapter10.1007/978-94-017-1743-4_12

A New Semantics for Logic Programs

Fangzhen Lin,Ray Reiter-2001-01-01
0

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

CorrectnessAxiomatic semanticsProgramming languageComputer scienceWell-founded semanticsHigher-order logicSemantics (computer science)Operational semantics

Chat

Click to start Chat