(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]] | + | * [[Jan Komara|Ján Komara]] |
== Aktivity == | == Aktivity == |
Aktuálna revízia z 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
…