Registered user since Wed 16 May 2018
Name:German Vidal
Country:Spain
Affiliation:Universitat Politecnica de Valencia
Personal website: https://gvidal.webs.upv.es/
Research interests:programming languages, functional programming, logic programming, term rewriting, software verification, debugging, reversible computation, artificial intelligence, probabilistic rule-based formalisms, explainability
Contributions
Using general profile