(Osnova)
 
m (Členovia)
 
Line 14: Line 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 ==

Latest revision as of 09: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