Pages that link to "Item:Q1188843"
From MaRDI portal
The following pages link to Automata, languages and programming. 17th international colloquium, Warwick University, England, July 16--20, 1990. Proceedings (Q1188843):
Displaying 4 items.
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Automata, languages and programming. 19th international colloquium, Wien, Austria, July 13--17, 1992. Proceedings (Q2364434) (← links)
- A half-century of automata theory. Celebration and inspiration. Symposium, Univ. of Western Ontario, London, Ontario, Canada, July 26, 2000 (Q2713476) (← links)
- (Q5092413) (← links)