Pages that link to "Item:Q4584018"
From MaRDI portal
The following pages link to Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Q4584018):
Displaying 8 items.
- Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016 (Q2827479) (← links)
- Proceedings of the 26th annual IEEE symposium on logic in computer science, LICS 2011, Fields Institute, Toronto, ON, Canada, June 21--24, 2011 (Q2914759) (← links)
- (Q3296530) (← links)
- (Q4516319) (← links)
- (Q4559476) (← links)
- (Q5089018) (← links)
- (Q5089293) (← links)
- Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)