The following pages link to Towards a meaning of life (Q5289307):
Displayed 11 items.
- A complete and recursive feature theory (Q673135) (← links)
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- Label-selective \(\lambda\)-calculus syntax and confluence (Q1350342) (← links)
- Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- Sparse logical terms (Q1904506) (← links)
- Minimal model semantics for sorted constraint representation (Q1907066) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS (Q5249029) (← links)
- Constraint functional logic programming over finite domains (Q5309079) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)