LOGPROG: Logics and Programming
|
|
All lines of research within LOGPROG are concerned with the theory, tools and techniques related to Logic in Computer Science:
and their application for solving problems in industry and science. |
|