skip to main content
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: autor: Milius, Stefan remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Equational Axiomatization of Algebras with Structure

Milius, Stefan ; Urbat, Henning

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Regular Behaviours with Names

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

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion

Milius, Stefan ; Litak, Tadeusz

EPTCS 126, 2013, pp. 72-86

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Corecursive Algebras, Corecursive Monads and Bloom Monads

Adámek, Jiří ; Haddadi, Mahdie ; Milius, Stefan

Logical Methods in Computer Science, Volume 10, Issue 3 (September 11, 2014) lmcs:707 [Periódico revisado por pares]

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

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

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion

Milius, Stefan ; Litak, Tadeusz

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Complete Elgot Monads and Coalgebraic Resumptions

Goncharov, Sergey ; Milius, Stefan ; Rauch, Christoph

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

A Categorical Approach to Syntactic Monoids

Adamek, Jiří ; Milius, Stefan ; Urbat, Henning

Logical Methods in Computer Science, Volume 14, Issue 2 (May 15, 2018) lmcs:4505 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Proper Functors and Fixed Points for Finite Behaviour

Milius, Stefan

Logical Methods in Computer Science, Volume 14, Issue 3 (September 24, 2018) lmcs:4847 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

Simplified Coalgebraic Trace Equivalence

Kurz, Alexander ; Milius, Stefan ; Pattinson, Dirk ; Schröder, Lutz

Texto completo disponível

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 (11)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de2011  (2)
  2. 2011Até2012  (5)
  3. 2013Até2014  (9)
  4. 2015Até2017  (13)
  5. Após 2017  (8)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Milius, Stefan
  2. Milius, S
  3. Adámek, Jiří
  4. Wißmann, Thorsten
  5. Schröder, Lutz

Buscando em bases de dados remotas. Favor aguardar.