1![Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu](https://www.pdfsearch.io/img/9ab2a86c7cdc7d560fb93046c5ba95a2.jpg) | Add to Reading ListSource URL: i.cs.hku.hkLanguage: English - Date: 2015-08-09 21:04:41
|
---|
2![Sage Reference Manual: Discrete dynamics Release 6.7 The Sage Development Team Sage Reference Manual: Discrete dynamics Release 6.7 The Sage Development Team](https://www.pdfsearch.io/img/a38256ffcc307c42723cc9a98522a7be.jpg) | Add to Reading ListSource URL: doc.sagemath.orgLanguage: English - Date: 2015-06-24 05:21:38
|
---|
3![A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes? Alejandro S´anchez1 and C´esar S´anchez1,2 1 2 A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes? Alejandro S´anchez1 and C´esar S´anchez1,2 1 2](https://www.pdfsearch.io/img/87697d0f7f3d3d32d487498e4486abec.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2014-06-27 10:56:07
|
---|
4![COMBINATORIAL SPECIES AND LABELLED STRUCTURES Brent Abraham Yorgey A DISSERTATION in Computer and Information Science COMBINATORIAL SPECIES AND LABELLED STRUCTURES Brent Abraham Yorgey A DISSERTATION in Computer and Information Science](https://www.pdfsearch.io/img/65fc97e61cb9923e6d9651422f681b0b.jpg) | Add to Reading ListSource URL: dept.cs.williams.edu- Date: 2015-04-16 10:28:22
|
---|
5![Sage: Open Source Mathematical Software: Symbolic Computation, Combinatorial Species, Backtracking Algorithms, and Distributed Computation William Stein, Gary Furnish, Mike Hansen, Robert Miller, and Yi Qiang March 21, 2 Sage: Open Source Mathematical Software: Symbolic Computation, Combinatorial Species, Backtracking Algorithms, and Distributed Computation William Stein, Gary Furnish, Mike Hansen, Robert Miller, and Yi Qiang March 21, 2](https://www.pdfsearch.io/img/21a5ca35d42f97238ce45e7146b744e3.jpg) | Add to Reading ListSource URL: wstein.orgLanguage: English - Date: 2008-04-08 08:25:32
|
---|
6![COMBINATORIAL SPECIES AND LABELLED STRUCTURES Brent Abraham Yorgey A DISSERTATION in Computer and Information Sciences COMBINATORIAL SPECIES AND LABELLED STRUCTURES Brent Abraham Yorgey A DISSERTATION in Computer and Information Sciences](https://www.pdfsearch.io/img/95d20733e0748d32a15b0342b1ec3a6f.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-12-12 16:17:48
|
---|
7![Contents Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii 0 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Contents Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii 0 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .](https://www.pdfsearch.io/img/57d7d44db8d6af0daef06f0944a53212.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2012-09-04 09:54:56
|
---|
8![Species and Functors and Types, Oh My! Brent A. Yorgey University of Pennsylvania Abstract Species and Functors and Types, Oh My! Brent A. Yorgey University of Pennsylvania Abstract](https://www.pdfsearch.io/img/063d17d572fa87e998ebf9a6dbb1fc78.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2010-08-01 11:17:52
|
---|
9![Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o](https://www.pdfsearch.io/img/182ec15bea57d8c2ed8f85440aac65e5.jpg) | Add to Reading ListSource URL: www21.in.tum.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
10![Surprising Connections between Partitions and Divisors Thomas J. Osler, Abdulkadir Hassen, and Tirupathi R. Chandrupatla Tom Osler () is Professor of Mathematics Surprising Connections between Partitions and Divisors Thomas J. Osler, Abdulkadir Hassen, and Tirupathi R. Chandrupatla Tom Osler () is Professor of Mathematics](https://www.pdfsearch.io/img/d9b105d52460ac7cfdd8dec5d8f2b3dc.jpg) | Add to Reading ListSource URL: www.rowan.eduLanguage: English - Date: 2007-08-30 09:48:24
|
---|