Pages that link to "Item:Q5705870"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705870):
Displaying 7 items.
- On the construction of free algebras for equational systems (Q1014644) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Nominal equational logic (Q2864152) (← links)
- (Q4362963) (← links)
- (Q4596786) (← links)
- Some explicit computations and models of free products (Q4917000) (← links)