Besonderhede van voorbeeld: 7718920441633411511

Metadata

Author: WikiMatrix

Data

English^[en]

Temporal logics are traditionally interpreted in terms of Kripke structures.

Spanish^[es]

Las lógicas temporales son interpretadas tradicionalmente en términos de estructuras de Kripke.

History

Your action: