skip to main content
Idioma:

Verification and Strategy Synthesis for Coalition Announcement Logic

Alechina, Natasha ; van Ditmarsch, Hans ; Galimullin, Rustam ; Wang, Tuo

Journal of logic, language, and information, 2021-12, Vol.30 (4), p.671-700 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  7 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.