The following pages link to Krishnaprasad Thirunarayan (Q169913):
Displaying 9 items.
- A theory of nonmonotonic inheritance based on annotated logic (Q685338) (← links)
- Locality in inheritance networks (Q685497) (← links)
- On the equivalence of upward and downward inheritance reasoners (Q1924737) (← links)
- Mechanisms for improved covariant type-checking (Q2381977) (← links)
- Simulating multiple inheritance and generics in Java (Q2713370) (← links)
- (Q4400808) (← links)
- (Q4417556) (← links)
- On the relationship between annotated logic programs and nonmonotonic formalisms (Q4864837) (← links)
- Structural operational semantics for a portable subset of behavioral VHDL-93 (Q5929100) (← links)