Defaults in domain theory

Authors:
Guo-Qiang Zhang;William C. Rounds
Affiliations:
Univ. of Georgia, Athens;Univ. of Michigan, Ann Arbor
Venue:
MFPS '94 Proceedings of the tenth conference on Mathematical foundations of programming semantics
Year:
1997

Citing 0
Cited 3

Clausal logic and logic programming in algebraic domains

Information and Computation
Assertions, conditionals, and defaults

WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Nonmonotonic reasoning and formal software development

IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract