Categorical Büchi and parity conditions via alternating fixed points of functors
type: Item
instance of: scholarly article
title: Categorical Büchi and parity conditions via alternating fixed points of functors
DOI: 10.1007/978-3-030-00389-0_12
author: Natsuki Urabe
author: Ichiro Hasuo
publication date: 2018-10-23T00:00:00Z
full work available at URL: https://arxiv.org/abs/1803.06811
full work available at URL: 473364 1 En 12 Chapter.pdf
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6962939
MaRDI profile type: Publication
OpenAlex ID: W2963615882
cites work: Least fixed point of a functor
cites work: Rudiments of \(\mu\)-calculus
cites work: Q4314472
cites work: Stream Automata Are Coalgebras
cites work: Fundamental properties of infinite trees
cites work: Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
cites work: Representations of Stream Processors Using Nested Fixed Points
cites work: Algebra and Coalgebra in Computer Science
cites work: Generic Trace Semantics via Coinduction
cites work: Trace semantics for coalgebras
cites work: Introduction to coalgebra. Towards mathematics of states and observation
cites work: Completely iterative algebras and completely iterative monads
cites work: Lifting theorems for Kleisli categories
cites work: Q4499221
cites work: Q4714446
cites work: Coalgebraic Infinite Traces and Kleisli Simulations
cites work: Q5367059
cites work: Q4608676
description: scientific article; zbMATH DE number 6962939