The following pages link to (Q4293532):
Displaying 7 items.
- ML (Q13958) (← links)
- Polymorphic type inference for the relational algebra (Q696968) (← links)
- Formal compiler construction in a logical framework (Q853741) (← links)
- Enhancing dependency pair method using strong computability in simply-typed term rewriting (Q2460908) (← links)
- The Soccer-Fun project (Q3021414) (← links)
- Modelling and analysis of distributed program execution in BETA using coloured Petri Nets (Q4633166) (← links)
- Software modeling and analysis using a hierarchical object-oriented Petri net (Q5946273) (← links)
