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

Revision as of 09:34, 7 October 2015 by Kluka (Talk | contribs) (Osnova)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)