http://dev.dai.fmph.uniba.sk/w?action=history&feed=atom&title=DP_Group%2Fen 2026-05-13T23:20:18Z História úprav pre túto stránku na wiki MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=DP_Group/en&diff=14291&oldid=prev 2015-10-07T07:31:12Z

<p>Outline</p> <p><b>Nová stránka</b></p><div>= Declarative Programming Research Group =<br /> <br /> The declarative programming research group investigates relationship of various, mostly classical logical formalisms to programming.<br /> <br /> == Group Focus ==<br /> <br /> * Logic and functional programming<br /> * Rewriting systems<br /> * Programming in first- and second-order formal arithmetic<br /> * Descriptive complexity<br /> <br /> == Members ==<br /> <br /> * [[Peter Borovansky|Peter Borovanský]]<br /> * [[Jan Kluka|Ján Kľuka]]<br /> * [[Jan Komara|Ján Komara]] (PhD student)<br /> <br /> == Activities ==<br /> <br /> …<br /> <br /> == Projects ==<br /> <br /> …<br /> <br /> == Publications ==<br /> <br /> …<br /> <br /> <br /> [[Category:Research]]<br /> __NOTOC__</div>

Kluka