Dynamical branching

Petr Švarný · Karolinum Press · 2016

Acesso aberto disponível

Leitura rápida. Confira os dados básicos do recurso e acesse o conteúdo pelo botão principal. Esta ficha mostra apenas as informações necessárias para identificar, citar e abrir a obra.

Autor / responsável

Petr Švarný

Editora

Karolinum Press

Ano

2016

ISSN

0567-8293

ISSN

0567-8293

Idioma

ces

Acesso ao recurso

Acesse o conteúdo pela opção principal ou escolha outra fonte disponível.

DOAJ DOAJ Articles

Entrar por DOAJ

Acesso principal

Acesso aberto disponível

Recurso identificado como acceso abierto, sin confirmar automáticamente si es texto completo directo.

Abrir recurso

Resumo

Descripción general del contenido del recurso.

We investigate the Branching space-times logic in a dynamic setting. We present a new logic, called Dynamic branching logic and show some of its basic properties.

Como citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Švarný, P. (2016). Dynamical branching. https://doi.org/10.14712/24647055.2016.11

MLA

Švarný, Petr. "Dynamical branching." 2016. https://doi.org/10.14712/24647055.2016.11.

Chicago

Švarný, Petr. 2016. "Dynamical branching.". https://doi.org/10.14712/24647055.2016.11.

Harvard

Švarný, P. 2016, Dynamical branching, Karolinum Press, available at: https://doi.org/10.14712/24647055.2016.11 [Accessed 7 Aug. 2026].

Compartilhar e imprimir

Salve a ficha, copie o link permanente ou imprima em PDF.

Exportar referência

Exporte o registro nos formatos mais comuns para usar em um gerenciador bibliográfico.

RIS BibTeX

Detalhes do recurso

Informações bibliográficas para confirmar que este é o material correto.

Título: Dynamical branching

Autor / colaboradores: Petr Švarný

Editora: Karolinum Press

Ano de publicação: 2016

ISSN: 0567-8293

ISSN: 0567-8293

Idioma: ces

Assuntos

Explore recursos relacionados a partir destes assuntos.

branching time; branching space-times; dynamic logic