The following pages link to (Q5457687):
Displaying 6 items.
- Specification and initialization of a logic computer system (Q1076506) (← links)
- Initial semantics of logic specifications with negation (Q1816284) (← links)
- Initial Algebra Semantics Is Enough! (Q3612632) (← links)
- (Q4365106) (← links)
- (Q4430324) (← links)
- Initial semantics in logics with constructors (Q5176547) (← links)