D. Turi

发表

Extending S-interpretations to logic programs with negation

D. Turi, 1989 .

Logic programs with negation: classes, models, interpreters

D. Turi, 1989 .

Functional Operational Semantics and its Denotational Dual

D. Turi, D. Turi, 1996 .