Login / Signup
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models.
Ana Fernández Vilas
José Juan Pazos-Arias
Rebeca P. Díaz Redondo
Alberto Gil-Solla
Jorge García Duque
Published in:
IFM (2004)
Keyphrases
</>
proof theory
logic programming
active rules
modal logic
formal semantics
asynchronous circuits
default reasoning
operational semantics
formal language
conceptual model
multi valued
control flow
specification languages