Pesquisar
Adicionar filtros:
Utilizar filtros para refinar o resultado da pesquisa.
Registos:
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
Ago-2021 | Observational interpretations of hybrid dynamic logic with binders and silent transitions | Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre | article | |
29-Jul-2021 | Hybrid dynamic logic institutions for event/data-based systems | Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre | article |
Resultados 1-2 de 2.
- Anterior
- 1
- Próxima
Refinar
Assunto