Applications of Propositional Logic in Computer Science

2022 ◽  
pp. 153-177
Author(s):  
Mircea Reghiş ◽  
Eugene Roventa
Keyword(s):  
Computer Science ◽  
Propositional Logic ◽  
Logic In Computer Science

scholarly journals Proceedings of the CLICS Workshop: Part I og II

1992 ◽  
Vol 21 (397) ◽  
Author(s):  
Glynn Winskel
Keyword(s):  
Computer Science ◽  
Basic Research ◽  
Science Department ◽  
Computer Science Department ◽  
Categorical Logic ◽  
Research Action ◽  
Logic In Computer Science

This is a collection of papers, notes and copies of transparencies representing the talks of the CLICS Workshop at the Computer Science Department, Aarhus University, 23 - 27 March 1992. CLICS is an Esprit, Basic Research Action on Categorical Logic in Computer Science.

Sign in / Sign up

Export Citation Format

Share Document