Lógicas TemporaisLógicas TemporaisEncontram Autômatoslógicas e autômatos.Uma mergulhada nas conexões entreLógica na InformáticaConectando Lógicas Temporais e Teoria dos AutômatosEste artigo examina a ligação entre lógicas de tempo ramificado e teoria dos autômatos.2025-08-16T03:46:42+00:00 ― 5 min ler