skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover assunto: Logic In Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Extensional and Intensional Strategies
Extensional and Intensional Strategies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extensional and Intensional Strategies

Bourdier, Tony ; Cirstea, Horatiu ; Dougherty, Daniel ; Kirchner, Hélène

Electronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.1-19

EPTCS

Texto completo disponível

Citações Citado por
2
Lazy AC-Pattern Matching for Rewriting
Lazy AC-Pattern Matching for Rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lazy AC-Pattern Matching for Rewriting

Belkhir, Walid ; Giorgetti, Alain

Electronic proceedings in theoretical computer science, 2012-01, Vol.82 (Proc. WRS 2011), p.37-51

Open Publishing Association

Texto completo disponível

Citações Citado por
3
Bisimulations for intuitionistic temporal logics (2020)
Bisimulations for intuitionistic temporal logics (2020)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bisimulations for intuitionistic temporal logics (2020)

Balbiani, Philippe ; Boudou, Joseph ; Dieguez, Martin ; Fernández-Duque, David

Electronic notes in theoretical computer science, 2020

Elsevier

Texto completo disponível

Citações Citado por
4
(In)Efficiency and Reasonable Cost Models
(In)Efficiency and Reasonable Cost Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

(In)Efficiency and Reasonable Cost Models

Accattoli, Beniamino

Electronic notes in theoretical computer science, 2018-10, Vol.338, p.23-43

Elsevier

Texto completo disponível

Citações Citado por
5
The Sequent Calculus of Skew Monoidal Categories
The Sequent Calculus of Skew Monoidal Categories
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Sequent Calculus of Skew Monoidal Categories

Uustalu, Tarmo ; Veltri, Niccolò ; Zeilberger, Noam

Electronic notes in theoretical computer science, 2018-12, Vol.341, p.345-370

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Abductive Network Action Inference for Targeted Therapy Discovery
Abductive Network Action Inference for Targeted Therapy Discovery
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abductive Network Action Inference for Targeted Therapy Discovery

Biane, Célia ; Delaplace, Franck ; Melliti, Tarek

Electronic notes in theoretical computer science, 2018-04, Vol.335, p.3-25

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Structural Translation from Time Petri Nets to Timed Automata
Structural Translation from Time Petri Nets to Timed Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Structural Translation from Time Petri Nets to Timed Automata

Cassez, Franck ; Roux, Olivier-H.

Electronic notes in theoretical computer science, 2005-05, Vol.128 (6), p.145-160 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Coalgebraic Minimization of Automata by Initiality and Finality
Coalgebraic Minimization of Automata by Initiality and Finality
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coalgebraic Minimization of Automata by Initiality and Finality

Rot, Jurriaan

Electronic notes in theoretical computer science, 2016-10, Vol.325, p.253-276

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Proof Certificates for Equality Reasoning
Proof Certificates for Equality Reasoning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proof Certificates for Equality Reasoning

Chihani, Zakaria ; Miller, Dale

Electronic notes in theoretical computer science, 2016-07, Vol.323, p.93-108

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Relational Graph Models, Taylor Expansion and Extensionality
Relational Graph Models, Taylor Expansion and Extensionality
Material Type:
Artigo 		Adicionar ao Meu Espaço

Relational Graph Models, Taylor Expansion and Extensionality

Manzonetto, Giulio ; Ruoppolo, Domenico

Electronic notes in theoretical computer science, 2014-10, Vol.308, p.245-272

Elsevier B.V

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. Revistas revisadas por pares (1)

Data de Publicação 

De até
Refinar
  1. Antes de2003  (3)
  2. 2003Até2005  (12)
  3. 2006Até2008  (23)
  4. 2009Até2012  (19)
  5. Após 2012  (11)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.