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
- Peter Borovanský
- Ján Kľuka
- Ján Komara (PhD student)
Aktivity
…
Projekty
…
Publikácie
…