Login / Signup
Unifying the Linear Time-Branching Time Spectrum of Process Semantics
David de Frutos-Escrig
Carlos Gregorio-Rodríguez
Miguel Palomino
David Romero-Hernández
Published in:
Log. Methods Comput. Sci. (2013)
Keyphrases
</>
epistemic logic
data mining
decision making
website
evolutionary algorithm
logic programming
conceptual model
artificial intelligence
data model
worst case
formal semantics