German Vidal

Registered user since Wed 16 May 2018

Name:German Vidal
Country:Spain
Affiliation:Universitat Politecnica de Valencia
Research interests:programming languages, functional programming, logic programming, term rewriting, concurrency, program verification, debugging, program transformation, reversible computation, artificial intelligence, probabilistic logic programming, explainability

Contributions