Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Combining temporal logic systemsMarcelo Finger Dov GabbayNotre Dame Journal of Formal Logic Durham v. 37, n. 2, p. 204-232, 1996Durham 1996Localização: IME - Inst. Matemática e Estatística (PROD-3043455 )(Acessar) |
2 |
Material Type: Artigo
|
![]() |
Semantics and proof-theory of depth bounded Boolean logicsMarcello D'Agostino Marcelo Finger; Dov GabbayTheoretical Computer Science Amsterdam v. 480, p. 43-68, 2013Amsterdam 2013Localização: IME - Inst. Matemática e Estatística (PROD-2407159 )(Acessar) |
3 |
Material Type: Artigo
|
![]() |
Parsing natural language using LDS a prototypeMarcelo Finger Rodger Kibble; Dov M Gabbay; Ruth M KempsonLogic Journal of the IGPL Oxford v. 5, n. 5, p. 647-671, 1997Oxford 1997Localização: IME - Inst. Matemática e Estatística (PROD-988992 )(Acessar) |
4 |
Material Type: Artigo
|
![]() |
Parsing natural language using LDS a prototypeMarcelo Finger Rodger Kibble; Dov M Gabbay; Ruth M KempsonLogic Journal of the IGPL Oxford v. 5, n. 5, p. 647-671, 1997Oxford 1997Localização: IME - Inst. Matemática e Estatística (PROD-988992 )(Acessar) |
5 |
Material Type: Artigo
|
![]() |
Por que "quem tem" sai na frente no Brasil? revisitando as especulações sobre os jogadores habituais e jogadores eventuais no cenário da litigância brasileiraMaria Cecília de Araujo Asperti Paulo Eduardo Alves da Silva; Daniela Monteiro Gabbay; Susana Henriques da CostaRevista Direito Público Brasília, DF v. 16, n. 88, p. 11-33, jul./ago. 2019Brasília, DF 2019Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Artigo
|
![]() |
A experiência do núcleo de estudos de meios de solução de conflitos (NEMESC)Carlos Alberto de Salles Daniela Monteiro (*) Gabbay; Érica Barbosa (*) Silva; Fernanda (*) Tartuce; Luis Fernando (*) Guerreiro; Marco Antônio (*) LorenciRevista Direito GV São Paulo v. 6, n. 1, p. 67-94, jan./jun. 2010São Paulo 2010Localização: FD - Fac. Direito (DCO )(Acessar) |
7 |
Material Type: Artigo
|
![]() |
Conferência de Seoul 2014. Constituição e Processo - Acesso efetivo à justiça o direito de acesso à justiça e responsabilidades públicasMasahiko Omura Ada Pellegrini Grinover 1933-2017; Kazuo Watanabe 1936-; Carlos Alberto de Salles; Daniela Monteiro Gabbay; Valeria LagrastaRevista de Processo São Paulo v. 40, n. 250, p. 17-31, dez. 20152015Localização: FD - Fac. Direito (DPC/DPM )(Acessar) |
8 |
Material Type: Artigo
|
![]() |
Access to justice and inequalities an interview with Professor Rebecca SandefurRebecca Sandefur Daniela Monteiro Gabbay; Luciana Gross Cunha; Maria Cecília de Araújo Asperti; Paulo Eduardo Alves da Silva; Susana Henriques da CostaRevista Direito GV São Paulo, SP v. 16, n. 2, e1967, p. 1-25, 2020São Paulo, SP 2020Localização: FDRP - Fac. Direito de Ribeirão Preto (sala A-17 pcd 1098 )(Acessar) |
9 |
Material Type: Artigo
|
![]() |
Introducing reactive Kripke semantics and arc accessibilityGabbay, D.Annals of mathematics and artificial intelligence, 2012-12, Vol.66 (1-4), p.7-53 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Theory of Semi-Instantiation in Abstract ArgumentationGabbay, D. M.Logica universalis, 2016-12, Vol.10 (4), p.431-516 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |