Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Automata-theoretic decision procedures for information logicsDemri, S ; Sattler, UFundamenta informaticae, 2002-11, Vol.53 (1), p.1-22 [Periódico revisado por pares]Polskie Towarzystwo MatematyczneTexto completo disponível |