skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: F.4.1 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi
Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi

Hausmann, Daniel ; Schröder, Lutz

Logical methods in computer science, 2024-07, Vol.20, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
2
Robust non-computability of dynamical systems and computability of robust dynamical systems
Robust non-computability of dynamical systems and computability of robust dynamical systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robust non-computability of dynamical systems and computability of robust dynamical systems

Graça, Daniel S. ; Zhong, Ning

Logical methods in computer science, 2024-06, Vol.20, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
Node Replication: Theory And Practice
Node Replication: Theory And Practice
Material Type:
Artigo 		Adicionar ao Meu Espaço

Node Replication: Theory And Practice

Kesner, Delia ; Peyrot, Loïc ; Ventura, Daniel

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications

Cerda, Rémy ; Auclair, Lionel Vaux

Logical methods in computer science, 2023-12, Vol.19, Issue 4 (4) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
5
A proof system for graph (non)-isomorphism verification
A proof system for graph (non)-isomorphism verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

A proof system for graph (non)-isomorphism verification

Banković, Milan ; Drecun, Ivan ; Marić, Filip

Logical methods in computer science, 2023-02, Vol.19, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings

Grabolle, Gustav

Logical methods in computer science, 2023-01, Vol.19, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
7
Relational Models for the Lambek Calculus with Intersection and Constants
Relational Models for the Lambek Calculus with Intersection and Constants
Material Type:
Artigo 		Adicionar ao Meu Espaço

Relational Models for the Lambek Calculus with Intersection and Constants

Kuznetsov, Stepan L.

Logical methods in computer science, 2023-01, Vol.19, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
8
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Material Type:
Artigo 		Adicionar ao Meu Espaço

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

Maietti, Maria Emilia ; Maschio, Samuele ; Rathjen, Michael

Logical methods in computer science, 2022-11, Vol.18, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
9
Typability and Type Inference in Atomic Polymorphism
Typability and Type Inference in Atomic Polymorphism
Material Type:
Artigo 		Adicionar ao Meu Espaço

Typability and Type Inference in Atomic Polymorphism

Protin, M. Clarence ; Ferreira, Gilda

Logical methods in computer science, 2022-08, Vol.18, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
10
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Bisping, Benjamin ; Jansen, David N. ; Nestmann, Uwe

Logical methods in computer science, 2022-08, Vol.18, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.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 (246)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (246)
  2. Book Chapters  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2005  (4)
  2. 2005Até2008  (68)
  3. 2009Até2012  (75)
  4. 2013Até2019  (68)
  5. Após 2019  (33)
  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.