Login / Signup

Unifying the Linear Time-Branching Time Spectrum of Process Semantics

David de Frutos-EscrigCarlos Gregorio-RodríguezMiguel PalominoDavid 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