Výskumná skupina pre deklaratívne programovanie

Výskumná skupina pre deklaratívne programovanie sa zaoberá vzťahom logických formalizmov, najmä klasických, k programovaniu.

Group Focus

  • Logické a funkcionálne programovanie
  • Prepisovacie systémy
  • Programovanie v prvo- a druhorádovej aritmetike
  • Deskriptívna zložitosť

Členovia

Aktivity

Projekty

Publikácie

(Presmerované z DP Group)