Pages that link to "Item:Q1327705"
From MaRDI portal
The following pages link to PARLE 94, Parallel architectures and languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994. Proceedings (Q1327705):
Displaying 8 items.
- PARLE '91. Parallel architectures and languages Europe. Vol. 1: Parallel architectures and algorithms. Eindhoven, The Netherlands, June 10--13, 1991. Proceedings (Q1202056) (← links)
- PARLE '93, Parallel architectures and languages Europe, 5th International PARLE conference, Munich, Germany, June 14-17, 1993. Proceedings (Q1309368) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Mixed sessions (Q2055956) (← links)
- Nested session types (Q2233456) (← links)
- (Q4836072) (← links)