D | |
---|---|
[DH00] | Giovanna D'Agostino and Marco Hollenberg. Logical Questions Concerning the μ-Calculus: Interpolation, Lyndon and łoś-Tarski. Journal of Symbolic Logic 65(1):310-332. Association for Symbolic Logic, March 2000. |
Search
Displayed 1 resultList of authors
- 1
- 1