Contributed Papers - Linear Logic, Mu Calculus, Concurrency - On Guarding Nested Fixpoints
Lecture notes in computer science. Bd. 1683. Berlin: Springer 1999 S. 484 - 498
Erscheinungsjahr: 1999
ISBN/ISSN: 0302-9743
Publikationstyp: Zeitschriftenaufsatz
| Geprüft | Bibliothek |
