The following pages link to (Q4693763):
Displaying 6 items.
- A logical and ontological framework for compositional concepts of objects and properties (Q264963) (← links)
- A completeness theorem for the expressive power of higher-order algebraic specifications (Q1362341) (← links)
- Fuzzy types: A framework for handling uncertainty about types of objects (Q1594851) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Temporal Contextual Logic Programming (Q2873801) (← links)
- Many-valued logic and sequence arguments in value theory (Q6187768) (← links)
