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
…