From linear time to branching time
type: Item
instance of: scholarly article
title: From linear time to branching time
zbMATH Open document ID: 1367.68195
DOI: 10.1145/1055686.1055689
author: Orna Kupferman
author: Moshe Y. Vardi
published in: ACM Transactions on Computational Logic
publication date: 2017-07-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6743965
zbMATH Keywords: linear temporal logic
zbMATH Keywords: alternation-free \(\mu\)-calculus
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/1055686.1055689
OpenAlex ID: W2020617153
description: scientific article; zbMATH DE number 6743965