Pages that link to "Item:Q1210693"
From MaRDI portal
The following pages link to CSL '88. Proceedings. 2nd workshop on computer science logic, Duisburg, Germany, October 3-7, 1988 (Q1210693):
Displaying 5 items.
- An easy priority-free proof of a theorem of Friedberg (Q913786) (← links)
- CSL '89. 3rd workshop on computer science logic, Kaiserslautern, Germany, October 2--6, 1989. Proceedings (Q1188842) (← links)
- Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings (Q1202146) (← links)
- ICDT '88. 2nd international conference on database theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings (Q1210831) (← links)
- Logics in artificial intelligence. Proceedings of JELIA 1998, Dagstuhl, Germany, October 12--15, 1998 (Q1978034) (← links)