The following pages link to (Q3454221):
Displaying 8 items.
- Computer science logic. 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers (Q1920151) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- 25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. Proceedings (Q2832301) (← links)
- (Q4559476) (← links)
- Proceedings Fourth Workshop on Proof eXchange for Theorem Proving (Q5088085) (← links)
- (Q5109508) (← links)
- (Q5369036) (← links)
- (Q5882061) (← links)