(Osnova)
 
d (Členovia)
 
Riadok 14: Riadok 14:
 
* [[Peter Borovansky|Peter Borovanský]]
 
* [[Peter Borovansky|Peter Borovanský]]
 
* [[Jan Kluka|Ján Kľuka]]
 
* [[Jan Kluka|Ján Kľuka]]
* [[Jan Komara|Ján Komara]] (PhD student)
+
* [[Jan Komara|Ján Komara]]
  
 
== Aktivity ==
 
== Aktivity ==

Aktuálna revízia z 08:47, 24. september 2017

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