A logically saturated extension of $\bar{\lambda} \mu \tilde{\mu}$
In: Intelligent Computer Mathematics (16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings) :405-421
Konferenz
Zugriff:
Titel: |
A logically saturated extension of $\bar{\lambda} \mu \tilde{\mu}$
|
---|---|
Autor/in / Beteiligte Person: | Mamane, L.E. ; Geuvers, J.H. ; McKinna, J. ; Carette, J. ; Dixon, L. ; Sacerdoti Coen, C. ; Watt, S.M. ; Formal System Analysis |
Link: | |
Quelle: | Intelligent Computer Mathematics (16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings) :405-421 |
Veröffentlichung: | 2009 |
Medientyp: | Konferenz |
ISBN: | 3-642-02614-1 (print) ; 3-642-02613-3 (print) ; 978-3-642-02614-0 (print) ; 978-3-642-02613-3 (print) |
ISSN: | 6904-9092 (print) ; 0302-9743 (print) |
DOI: | 10.1007/978-3-642-02614-0_32 |
Sonstiges: |
|