Login / Signup

P-rho-Log: Combining Logic Programming with Conditional Transformation Systems.

Besik DunduaTemur KutsiaKlaus Reisenberger-Hagmayer
Published in: ICLP (Technical Communications) (2016)
Keyphrases