Semantics
Listado de artículos correspondientes a la sesión Semantics
- A discretized operational semantics for the implementation of Hy-tccp
- Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework
- Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story
- A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees