A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, A content based mathematical search engine: Whelp, in: Types for Proofs and Programs
International Workshop, TYPES 2004, s.l, Springer, 2005, 3839, pp. 17 - 32 (atti di: Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004) [Contributo in Atti di convegno]
L.Padovani; C.Sacerdoti Coen; S.Zacchiroli, A Generative Approach to the Implementation of Language Bindings for the Document Object Model, in: GABOR KARSAI, EELCO VISSER, Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, s.l, Springer, 2004, 3286, pp. 469 - 487 [Contributo in Atti di convegno]
SACERDOTI COEN, Claudio; Zacchiroli, Stefano, Efficient Ambiguous Parsing of Mathematical Formulae, in: ANDREA ASPERTI, GRZEGORZ BANCEREK, ANDRZEJ TRYBULEC, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, s.l, Springer, 2004, 3119, pp. 347 - 362 [Contributo in Atti di convegno]
SACERDOTI COEN, Claudio, Mathematical Libraries as Proof Assistant Environments, in: ANDREA ASPERTI, GRZEGORZ BANCEREK, ANDRZEJ TRYBULEC, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, s.l, Springer, 2004, 3119, pp. 332 - 346 [Contributo in Atti di convegno]
Marinelli, Paolo; SACERDOTI COEN, Claudio; Vitali, Fabio, SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints, in: STUART I. FELDMAN, MIKE URETSKY, MARC NAJORK, CRAIG E. WILLS, Proceedings of the 13th International World Wide Web Conference (WWW2004), NEW YORK, ACM Press, 2004, pp. 164 - 174 [Contributo in Atti di convegno]
