Partial-predicate logic in computer science

1987 ◽  
Vol 24 (4) ◽  
pp. 381-393 ◽  
Author(s):  
Albert Hoogewijs
Keyword(s):  
Computer Science ◽  
Predicate Logic ◽  
Partial Predicate ◽  
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