skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebra and Coalgebra in Computer Science
Algebra and Coalgebra in Computer Science
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebra and Coalgebra in Computer Science

Reiko Milius, Stefan Heckel Stefan Milius

Springer Berlin Heidelberg 2013

Acesso online

2
Proper Functors and Fixed Points for Finite Behaviour
Proper Functors and Fixed Points for Finite Behaviour
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proper Functors and Fixed Points for Finite Behaviour

Stefan Milius

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
A Sound and Complete Calculus for Finite Stream Circuits
A Sound and Complete Calculus for Finite Stream Circuits
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Sound and Complete Calculus for Finite Stream Circuits

Milius, Stefan

2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010, p.421-430

IEEE

Texto completo disponível

Citações Citado por
4
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence

Wißmann, Thorsten ; Milius, Stefan ; Schröder, Lutz

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
5
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sound and Complete Axiomatizations of Coalgebraic Language Equivalence

Bonsangue, Marcello M. ; Milius, Stefan ; Silva, Alexandra

ACM transactions on computational logic, 2013-02, Vol.14 (1), p.1-52 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
Completely iterative algebras and completely iterative monads
Completely iterative algebras and completely iterative monads
Material Type:
Artigo 		Adicionar ao Meu Espaço

Completely iterative algebras and completely iterative monads

Milius, Stefan

Information and computation, 2005, Vol.196 (1), p.1-41 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
7
A Coalgebraic Perspective on Minimization and Determinization
A Coalgebraic Perspective on Minimization and Determinization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Coalgebraic Perspective on Minimization and Determinization

Adámek, Jiří ; Bonchi, Filippo ; Hülsbusch, Mathias ; König, Barbara ; Milius, Stefan ; Silva, Alexandra Birkedal, Lars

Foundations of Software Science and Computational Structures, 2012, Vol.7213, p.58-73 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Efficient and Modular Coalgebraic Partition Refinement
Efficient and Modular Coalgebraic Partition Refinement
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient and Modular Coalgebraic Partition Refinement

Thorsten Wißmann ; Ulrich Dorsch ; Stefan Milius ; Lutz Schröder

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
9
A Categorical Approach to Syntactic Monoids
A Categorical Approach to Syntactic Monoids
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Categorical Approach to Syntactic Monoids

Jiří Adamek ; Stefan Milius ; Henning Urbat

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
10
A coalgebraic view on reachability
A coalgebraic view on reachability
Material Type:
Artigo 		Adicionar ao Meu Espaço

A coalgebraic view on reachability

Thorsten,  Wißmann ; Stefan, Milius ; Shin-ya, Katsumata ; Jérémy, Dubut

Commentationes Mathematicae Universitatis Carolinae, 2019-01, Vol.60 (4), p.605-638 [Periódico revisado por pares]

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 (203)
  2. Revistas revisadas por pares (116)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (150)
  2. Book Chapters  (51)
  3. Anais de Congresso  (21)
  4. Reports  (2)
  5. Livros  (2)
  6. Dissertações  (1)
  7. Conjunto de Dados  (1)
  8. Mais opções open sub menu

Autor/Criador 

  1. Milius, S  (1)
  2. Heckel, R  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2002  (9)
  2. 2002Até2006  (21)
  3. 2007Até2011  (25)
  4. 2012Até2017  (95)
  5. Após 2017  (76)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (225)
  2. Japonês  (6)
  3. Alemão  (4)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Milius, S
  2. Heckel, R

Neste Assunto:

  1. Computer Science
  2. Science & Technology
  3. Technology
  4. Computer Science, Theory & Methods
  5. Computer Science - Logic In Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.