skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Working on the Problem of Sorting by Transpositions on Genome Rearrangements
Working on the Problem of Sorting by Transpositions on Genome Rearrangements
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Working on the Problem of Sorting by Transpositions on Genome Rearrangements

Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan

Combinatorial Pattern Matching, 2003, Vol.2676, p.372-383 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
2
Characterizing Frame Definability in Team Semantics via the Universal Modality
Characterizing Frame Definability in Team Semantics via the Universal Modality
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Characterizing Frame Definability in Team Semantics via the Universal Modality

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.140-155 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
3
Equational Properties of Stratified Least Fixed Points (Extended Abstract)
Equational Properties of Stratified Least Fixed Points (Extended Abstract)
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Equational Properties of Stratified Least Fixed Points (Extended Abstract)

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.174-188 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
4
The Word Problem for Finitely Presented Quandles is Undecidable
The Word Problem for Finitely Presented Quandles is Undecidable
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Word Problem for Finitely Presented Quandles is Undecidable

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.1-13 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
5
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.53-68 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
6
The p-adic Integers as Final Coalgebra
The p-adic Integers as Final Coalgebra
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The p-adic Integers as Final Coalgebra

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.189-199 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
7
Parametric Polymorphism --- Universally
Parametric Polymorphism --- Universally
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Parametric Polymorphism --- Universally

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.81-92 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
8
A Dichotomy Result for Ramsey Quantifiers
A Dichotomy Result for Ramsey Quantifiers
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Dichotomy Result for Ramsey Quantifiers

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.69-80 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
9
An Equation-Based Classical Logic
An Equation-Based Classical Logic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Equation-Based Classical Logic

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.38-52 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
Proof-Theoretic Aspects of the Lambek-Grishin Calculus
Proof-Theoretic Aspects of the Lambek-Grishin Calculus
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Proof-Theoretic Aspects of the Lambek-Grishin Calculus

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.109-123 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (32)

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

Buscando em bases de dados remotas. Favor aguardar.