Arama Sonuçları - functions computational ((programming recursion) or (programming defining)) basic tools*

Şunu mu demek istediniz:
functions computational » functions computation , function computation , directions computational
programming recursion » programming decision , programming session , programming decisions
programming defining » programming designing , programming learning , programming reasoning

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”
Tam Metin Erişim

Elektronik Ekitap

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt