skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science, Theory & Methods remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Correctness and Incorrectness Program Logic
A Correctness and Incorrectness Program Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Correctness and Incorrectness Program Logic

Bruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta ; Ranzato, Francesco

Journal of the ACM, 2023-04, Vol.70 (2), p.1-45, Article 15 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
2
Ternary DDCVSL: a combined dynamic logic style for standard ternary logic with single power source
Ternary DDCVSL: a combined dynamic logic style for standard ternary logic with single power source
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ternary DDCVSL: a combined dynamic logic style for standard ternary logic with single power source

Azimi, Nooshin ; Mirzaee, Reza Faghih ; Navi, Keivan ; Rahmani, Amir Masoud

IET computers & digital techniques, 2020-07, Vol.14 (4), p.166-175 [Periódico revisado por pares]

The Institution of Engineering and Technology

Texto completo disponível

Citações Citado por
3
Deductive Software Verification - The KeY Book: From Theory to Practice
Deductive Software Verification - The KeY Book: From Theory to Practice
Material Type:
Livro 		Adicionar ao Meu Espaço

Deductive Software Verification - The KeY Book: From Theory to Practice

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H ; Ulbrich, Mattias H'hnle, Reiner ; Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Ulbrich, Mattias ; Beckert, Bernhard ; Schmitt, Peter H. ; Bubel, Richard ; Ahrendt, Wolfgang

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
4
Temporal Logics in Computer Science: Finite-State Systems
Temporal Logics in Computer Science: Finite-State Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Temporal Logics in Computer Science: Finite-State Systems

Demri, Stéphane ; Goranko, Valentin ; Lange, Martin

Cambridge University Press 2016

Sem texto completo

Citações Citado por
5
Randomized semantic games for fuzzy logics
Randomized semantic games for fuzzy logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Randomized semantic games for fuzzy logics

Hofer, Matthias

Fuzzy sets and systems, 2021-03, Vol.407, p.67-96 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Many-valued coalgebraic modal logic: One-step completeness and finite model property
Many-valued coalgebraic modal logic: One-step completeness and finite model property
Material Type:
Artigo 		Adicionar ao Meu Espaço

Many-valued coalgebraic modal logic: One-step completeness and finite model property

Lin, Chun-Yu ; Liau, Churn-Jung

Fuzzy sets and systems, 2023-09, Vol.467, p.108564, Article 108564 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Stone-Type Dualities for Separation Logics
Stone-Type Dualities for Separation Logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Stone-Type Dualities for Separation Logics

Simon Docherty ; David Pym

Logical methods in computer science, 2019-01, Vol.15, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
8
A universal method for designing low-power carbon nanotube FET-based multiple-valued logic circuits
A universal method for designing low-power carbon nanotube FET-based multiple-valued logic circuits
Material Type:
Artigo 		Adicionar ao Meu Espaço

A universal method for designing low-power carbon nanotube FET-based multiple-valued logic circuits

Moaiyeri, Mohammad Hossein ; Mirzaee, Reza Faghih ; Doostaregan, Akbar ; Navi, Keivan ; Hashemipour, Omid

IET computers & digital techniques, 2013-07, Vol.7 (4), p.167-181 [Periódico revisado por pares]

Stevenage: The Institution of Engineering and Technology

Texto completo disponível

Citações Citado por
9
Concurrent Separation Logic Meets Template Games
Concurrent Separation Logic Meets Template Games
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Concurrent Separation Logic Meets Template Games

Melliès, Paul-André ; Stefanesco, Léo

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.742-755

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
Logics of Dynamical Systems
Logics of Dynamical Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Logics of Dynamical Systems

Platzer, Andre

2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.13-24

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (31.542)
  2. Revistas revisadas por pares (25.803)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (18.638)
  2. Artigos  (16.207)
  3. Book Chapters  (5.715)
  4. Livros  (162)
  5. magazinearticle  (143)
  6. Resenhas  (3)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1975  (38)
  2. 1975Até1987  (714)
  3. 1988Até1999  (4.005)
  4. 2000Até2012  (16.447)
  5. Após 2012  (20.416)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (1.675)
  2. Alemão  (22)
  3. Turco  (11)
  4. Norueguês  (10)
  5. Francês  (5)
  6. Espanhol  (5)
  7. Português  (3)
  8. Árabe  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.