The following pages link to Logic and semantic networks (Q4176999):
Displayed 5 items.
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- Semantic networks (Q1202620) (← links)
- Implementing specifications by dynamic inheritance (Q1326576) (← links)
- A logic-based approach to query processing in federated databases (Q1331016) (← links)
- A metalogic programming approach: language, semantics and applications (Q4305334) (← links)