skip to main content

Sair
Identificação

Idioma:

Resultados de 1 a 10 de 1.275 para Busca Geral

Ordenado por: Ordenado por: AutorOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Revistas revisadas por pares (738)

Refinado por: tipo de recurso: Artigos

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artigo		Formalizing UML/OCL structural features with FoCaLiZe Abbas, Messaoud ; Ben-Yelles, Choukri-Bey ; Rioboo, Renaud Soft computing (Berlin, Germany), 2020-03, Vol.24 (6), p.4149-4164 [Periódico revisado por pares] Berlin/Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Artigo		More declarative tabling in Prolog using multi-prompt delimited control Abdallah, Samer arXiv.org, 2017-08 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo		Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style Abdallah, Samer arXiv.org, 2017-07 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo		Object-Oriented Theorem Proving (OOTP): First Thoughts AbdelGawad, Moez A arXiv.org, 2019-02 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Artigo		Induction, Coinduction, and Fixed Points in PL Type Theory AbdelGawad, Moez A arXiv.org, 2019-02 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo		Induction, Coinduction, and Fixed Points: A Concise Comparative Survey (and Tutorial) AbdelGawad, Moez A arXiv.org, 2019-02 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Artigo		HTCC: Haskell to Handel-C Compiler Ablak, Ahmed ; Damaj, Issam arXiv.org, 2019-07 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Artigo		Notions of bidirectional computation and entangled state monads Abou-Saleh, Faris ; Cheney, James ; Gibbons, Jeremy ; McKinna, James ; Stevens, Perdita arXiv.org, 2015-05 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo		Full Abstraction for PCF Abramsky, Samson ; Jagadeesan, Radha ; Malacaria, Pasquale Information and computation, 2000-12, Vol.163 (2), p.409-470 [Periódico revisado por pares] San Diego, CA: Elsevier Inc Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo		From IF to BI: A Tale of Dependence and Separation Abramsky, Samson ; Väänänen, Jouko Synthese (Dordrecht), 2009-03, Vol.167 (2), p.207-230 [Periódico revisado por pares] Dordrecht: Springer Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 1.275 para Busca Geral

Ordenado por: Ordenado por: AutorOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Mostrar Somente

Revistas revisadas por pares (738)

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento