Klaus Reisenberger-Hagmayer

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Computational Logic

Procedural Semantics

Logic Programming

Top Venues

ICLP (Technical Communications)

Publications

Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
An Overview of PρLog. PADL (2017)
Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. ICLP (Technical Communications) (2016)