Structured formal development with quotient types in Isabelle/HOL

Bortin, Maksym; Lüth, Christoph (2010). Structured formal development with quotient types in Isabelle/HOL. Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010, Proceedings. Ed. Autexier, Serge; Calmet, Jacques; Delahaye, David; Ion, Patrick D. F.; Rideau, Laurence; Rioboo, Renaud; Sexton, Alan P. Berlin: Springer, 34−48. (Lecture Notes in Computer Science; 6167).10.1007/978-3-642-14128-7_5.
publitseeritud konverentsiettekanne
Bortin, Maksym; Lüth, Christoph
  • Inglise
Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010, Proceedings
Autexier, Serge; Calmet, Jacques; Delahaye, David; Ion, Patrick D. F.; Rideau, Laurence; Rioboo, Renaud; Sexton, Alan P.
Berlin
0302-9743
978-3-642-14127-0
Lecture Notes in Computer Science
6167
2010
3448
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

doi.org/10.1007/978-3-642-14128-7_5

Seotud asutused

Universität Bremen, Department of Mathematics and Computer Science

Lisainfo

Conference Proceedings Citation Index- Science (CPCI-S); Scopus