skip to main content
Visitante
Meu Espaço
Minha Conta
Sair
Identificação
This feature requires javascript
Tags
Revistas Eletrônicas (eJournals)
Livros Eletrônicos (eBooks)
Bases de Dados
Bibliotecas USP
Ajuda
Ajuda
Idioma:
Inglês
Espanhol
Português
This feature required javascript
This feature requires javascript
Primo Search
Busca Geral
Busca Geral
Acervo Físico
Acervo Físico
Produção Intelectual da USP
Produção USP
Search For:
Clear Search Box
Search in:
Busca Geral
Or select another collection:
Search in:
Busca Geral
Busca Avançada
Busca por Índices
This feature requires javascript
This feature requires javascript
Compositional relational reasoning via operational game semantics
Jaber, Guilhem ; Murawski, Andrzej S.
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021 (23), p.1-13
IEEE
Sem texto completo
Citações
Citado por
Serviços
Detalhes
Resenhas & Tags
Nº de Citações
Abrir fonte em uma nova janela
Enviar para
Adicionar ao Meu Espaço
Remover do Meu Espaço
E-mail (máximo 30 registros por vez)
Imprimir
Link permanente
Referência
EasyBib
EndNote
RefWorks
del.icio.us
Exportar RIS
Exportar BibTeX
This feature requires javascript
<a href="https://metalibsfx.aguia.usp.br:3443/sfxlcl41?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-06-03T16%3A36%3A55IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-hal_ieee_&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Compositional%20relational%20reasoning%20via%20operational%20game%20semantics&rft.btitle=2021%2036th%20Annual%20ACM/IEEE%20Symposium%20on%20Logic%20in%20Computer%20Science%20(LICS)&rft.au=Jaber,%20Guilhem&rft.date=2021-06-29&rft.issue=23&rft.spage=1&rft.epage=13&rft.pages=1-13&rft_id=info:doi/10.1109/LICS52264.2021.9470524&rft_dat=%3Chal_ieee_%3Eoai_HAL_hal_03510294v1%3C/hal_ieee_%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-a343t-96ec553148eaeba5f83078f1870aa4b20b60af24b4cd5be84c2f7115223b816a0%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft.eisbn=9781665448956&rft.eisbn_list=1665448954&rft_id=info:oai/&rft_id=info:pmid/" target="_blank">To get to the resource you are seeking: Abrir fonte em uma nova janela</a>
This feature requires javascript
Voltar para lista de resultados
This feature requires javascript
This feature requires javascript
Buscando em bases de dados remotas. Favor aguardar.
Buscando por
em
scope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento
This feature requires javascript
This feature requires javascript
Página Inicial
RSS
Feed
Políticas
Fale Conosco
Logos de Redes Sociais: 