Results on the propositional μ-calculus

Kozen, Dexter

doi:10.1016/0304-3975(82)90125-6

Record: found
Abstract: not found
Article: not found

Results on the propositional μ-calculus

Author(s): Dexter Kozen

Publication date Created: 1983

Publication date (Print): 1983

Journal: Theoretical Computer Science

Publisher: Elsevier BV

Read this article at

ScienceOpenPublisher

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Theoretical Computer Science

Abbreviated Title: Theoretical Computer Science

Publisher: Elsevier BV

ISSN (Print): 03043975

Publication date Created: 1983

Publication date (Print): 1983

Volume: 27

Issue: 3

Pages: 333-354

Article

DOI: 10.1016/0304-3975(82)90125-6

SO-VID: 9541dfdf-915d-487c-a477-94715a87fcae

License:

https://www.elsevier.com/tdm/userlicense/1.0/

https://www.elsevier.com/open-access/userlicense/1.0/

History

Data availability:

Results on the propositional μ-calculus

Read this article at

Related collections

Scientific Ocean Drilling Expedition Research Results

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 2,235

Cited by 209