The following pages link to Automated Reasoning (Q5307047):
Displayed 5 items.
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- An Object-Oriented Component Model for Heterogeneous Nets (Q3603002) (← links)
- Towards an Efficient Implementation of Tree Automata Completion (Q5505416) (← links)