Pages that link to "Item:Q1188842"
From MaRDI portal
The following pages link to CSL '89. 3rd workshop on computer science logic, Kaiserslautern, Germany, October 2--6, 1989. Proceedings (Q1188842):
Displaying 3 items.
- Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings (Q1202146) (← links)
- Computer science logic. 5th workshop, CSL '91, Berne, Switzerland, October 7--11, 1991. Proceedings (Q1202197) (← links)
- Computer science logic. 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers (Q1920151) (← links)