Network of Excellence in Computational Logic

Project: Research

Project Details

Description

This network federates research groups active in logic programming and its extensions (concurrent, with constraints, etc.)
AcronymCOMPULOG-Net
StatusFinished
Effective start/end date24/06/9624/06/99

Keywords

  • Prolog
  • logic programming
  • computational logic

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.