Dynamic logic /
Na minha lista:
Principais autores: | Harel, David, Kozen, Dexter, Tiuryn, Jerzy. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/87705 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Formal languages in logic : a philosophical and cognitive analysis /
por: Novaes, Catarina Dutilh
Publicado em: (2022) -
Dynamic epistemic logic /
por: Ditmarsch, Hans van,, et al.
Publicado em: (2022) -
Understanding formal methods /
por: Monin, Jean François,, et al.
Publicado em: (2022) -
Deciding difference logic in a Nelson-Oppen combination framework/
por: Oliveira, Diego Caminha Barbosa de., et al.
Publicado em: (2022) -
Introduction to languages, machines and logic : computable languages, abstract machines and formal logic /
por: Parkes, Alan.
Publicado em: (2022)