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
Mostrar Somente
Refinado por: Nome da Publicação: Arxiv remover idioma: Japonês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
Material Type:
Artigo 		Adicionar ao Meu Espaço

Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence

Kazuyuki Asada ; Naoki Kobayashi ; Ryoma Sin'ya ; Takeshi Tsukada

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
2
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective

Natsuki Urabe ; Ichiro Hasuo

Logical methods in computer science, 2017, Vol.13, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model Theory and Proof Theory of Coalgebraic Predicate Logic

Tadeusz Litak ; Dirk Pattinson ; Katsuhiko Sano ; Lutz Schröder

Logical methods in computer science, 2018, Vol.14, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
Iteration Algebras for UnQL Graphs and Completeness for Bisimulation
Iteration Algebras for UnQL Graphs and Completeness for Bisimulation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Iteration Algebras for UnQL Graphs and Completeness for Bisimulation

Hamana, Makoto

Electronic proceedings in theoretical computer science, 2015-09, Vol.191 (Proc. FICS 2015), p.75-89

Open Publishing Association

Texto completo disponível

Citações Citado por
5
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus

Davidson, Timothy A. S. ; Gay, Simon J. ; Nagarajan, Rajagopal ; Puthoor, Ittoop Vergheese

Electronic proceedings in theoretical computer science, 2012-10, Vol.95 (Proc. QPL 2011), p.67-80

Open Publishing Association

Texto completo disponível

Citações Citado por
6
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

Vasconcelos, Vasco T. ; Martins, Francisco ; Cogumbreiro, Tiago

Electronic proceedings in theoretical computer science, 2010-02, Vol.17 (Proc. PLACES 2009), p.95-109

Open Publishing Association

Texto completo disponível

Citações Citado por
7
Information Flow in Secret Sharing Protocols
Information Flow in Secret Sharing Protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

Information Flow in Secret Sharing Protocols

Kashefi, Elham ; Markham, Damian ; Mhalla, Mehdi ; Perdrix, Simon

Electronic proceedings in theoretical computer science, 2009-11, Vol.9 (Proc. DCM 2009), p.87-97

Open Publishing Association

Texto completo disponível

Citações Citado por
8
A Tighter Bound for the Determinization of Visibly Pushdown Automata
A Tighter Bound for the Determinization of Visibly Pushdown Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Tighter Bound for the Determinization of Visibly Pushdown Automata

Van Tang, Nguyen

Electronic proceedings in theoretical computer science, 2009-11, Vol.10 (Proc. INFINITY 2009), p.62-76

Open Publishing Association

Texto completo disponível

Citações Citado por
9
Diffusion Controlled Reactions, Fluctuation Dominated Kinetics, and Living Cell Biochemistry
Diffusion Controlled Reactions, Fluctuation Dominated Kinetics, and Living Cell Biochemistry
Material Type:
Artigo 		Adicionar ao Meu Espaço

Diffusion Controlled Reactions, Fluctuation Dominated Kinetics, and Living Cell Biochemistry

Konkoli, Zoran

Electronic proceedings in theoretical computer science, 2009-11, Vol.9 (Proc. DCM 2009), p.98-107

Open Publishing Association

Texto completo disponível

Citações Citado por
10
Quantaloidal Approach to Constraint Satisfaction
Quantaloidal Approach to Constraint Satisfaction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quantaloidal Approach to Constraint Satisfaction

Fujii, Soichiro ; Iwamasa, Yuni ; Kimura, Kei

Electronic proceedings in theoretical computer science, 2022-11, Vol.372, p.289-305

Texto completo disponível

Citações Citado por

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

Buscando em bases de dados remotas. Favor aguardar.