Katedra aplikovanej informatiky

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

…