The following pages link to (Q4002277):
Displaying 11 items.
- Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 (Q789378) (← links)
- Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings (Q1188694) (← links)
- 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)
- (Q3197780) (← links)
- (Q3998025) (← links)
- (Q4202968) (← links)
- Advances in Contemporary Logic and Computer Science (Q4255356) (← links)
- (Q4348468) (← links)
- (Q4516319) (← links)
- Logic and Computation (Q5966630) (← links)