Record: found
Abstract: not found
Book Chapter: not found

An improved algorithm for the evaluation of fixpoint expressions

other

Author(s): David E. Long , Anca Browne , Edmund M. Clarke , Somesh Jha , Wilfredo R. Marrero

Publication date (Online): June 7 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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

Related collections

Most cited references 9

Record: found
Abstract: not found
Book: not found

A Calculus of Communicating Systems

Robin Milner (1980)

0 comments Cited 261 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski (1955)

0 comments Cited 243 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Results on the propositional μ-calculus

Dexter Kozen (1983)

0 comments Cited 209 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1994

Publication date (Online): June 7 2005

Pages: 338-350

DOI: 10.1007/3-540-58179-0_66

SO-VID: 5f2a800e-70e5-4e79-ae56-987936b765c2

History

Data availability:

An improved algorithm for the evaluation of fixpoint expressions

Read this book at

Related collections

The Behavioral Economics of Music: A Framework for the Study of Music Listening, Evaluation, and Choice Behavior

Most cited references 9

A Calculus of Communicating Systems

A lattice-theoretical fixpoint theorem and its applications

Results on the propositional μ-calculus

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,332

Cited by 12