Author:
Foustoucos Eugénie,Guessarian Irène
Subject
Computer Science Applications,General Mathematics,Software
Reference23 articles.
1. S. Abiteboul, R. Hull and V. Vianu,Foundations of databases. Addison-Wesley (1995).
2. A linear algorithm to solve fixed-point equations on transition systems
3. A. Arnold and D. Niwiński, Rudiments ofµ-calculus.Stud. Logic Found. Math.146, Elsevier Science, North-Holland, Amsterdam (2001).
4. Fixpoint alternation: arithmetic, transition systems, and the binary tree
5. An improved algorithm for the evaluation of fixpoint expressions