Difference between revisions of "Jan Kluka/en"
| Line 12: | Line 12: | ||
=== Teaching === | === Teaching === | ||
| − | * | + | * [[Introduction to Declarative Programming]] |
| + | * [[Declarative Programming of Web Applications]] | ||
=== Research === | === Research === | ||
| Line 20: | Line 21: | ||
=== Publications === | === Publications === | ||
| − | * | + | * see [http://ii.fmph.uniba.sk/~kluka/ homepage] |
}} | }} | ||
Revision as of 15:53, 22 September 2009
Ján Kľuka
|
|
Teaching
Research
- declarative programming techniques & implementation
- logic
- theorem proving
Publications
- see homepage