Aktuálna revízia z 09:31, 7. október 2015

Declarative Programming Research Group

The declarative programming research group investigates relationship of various, mostly classical logical formalisms to programming.

Group Focus

• Logic and functional programming
• Rewriting systems
• Programming in first- and second-order formal arithmetic
• Descriptive complexity

Members

• Peter Borovanský
• Ján Kľuka
• Ján Komara (PhD student)

Activities

…

Projects

…

Publications

…