Marcos Miguel García Toledo

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Operational Semantics

Knowledge Representation And Reasoning

Model Theoretic

Defeasible Argumentation

Top Venues

ICLP (Technical Communications)

Publications

Rafael del Vado Vírseda, Fernando Pérez Morente, Marcos Miguel García Toledo
A Concurrent Operational Semantics for Constraint Functional Logic Programming. ICLP (Technical Communications) (2012)