Pages that link to "Item:Q2832301"
From MaRDI portal
The following pages link to 25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. Proceedings (Q2832301):
Displaying 5 items.
- Computer science logic (CSL'12). 26th international workshop, 21st annual conference of the EACSL, September 3--6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. (Q2917351) (← links)
- (Q3454221) (← links)
- (Q4559476) (← links)
- (Q5369036) (← links)
- (Q5882061) (← links)