1![Summary of TLA+ Module-Level Constructs The Constant Operators Miscellaneous Constructs Action Operators Summary of TLA+ Module-Level Constructs The Constant Operators Miscellaneous Constructs Action Operators ](https://www.pdfsearch.io/img/78c869f13c48dca02f54fbb882784c3b.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2016-07-03 10:25:40
|
---|
2![On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI, On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI,](https://www.pdfsearch.io/img/205abe724bd16d97603a9ca7fc16be05.jpg) | Add to Reading ListSource URL: logica.dmi.unisa.itLanguage: English - Date: 2015-05-18 14:28:46
|
---|
3![SHEAVES ON SPACES Contents 1. Introduction 2. Basic notions 3. Presheaves SHEAVES ON SPACES Contents 1. Introduction 2. Basic notions 3. Presheaves](https://www.pdfsearch.io/img/65679f12eaf5c8e3e4df3b0115ecd3c1.jpg) | Add to Reading ListSource URL: stacks.math.columbia.eduLanguage: English - Date: 2015-04-15 15:08:27
|
---|
4![FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44 RAVI VAKIL C ONTENTS 1. Flat implies constant Euler characteristic FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44 RAVI VAKIL C ONTENTS 1. Flat implies constant Euler characteristic](https://www.pdfsearch.io/img/6bb495a1de1b9c1c5fed9194b2321eec.jpg) | Add to Reading ListSource URL: math.stanford.eduLanguage: English - Date: 2007-06-28 15:31:19
|
---|
5![A Constructive Model of Uniform Continuity Chuangjie Xu and Mart´ın Escard´o University of Birmingham, UK A Constructive Model of Uniform Continuity Chuangjie Xu and Mart´ın Escard´o University of Birmingham, UK](https://www.pdfsearch.io/img/757354895615b9d76c70a9cca6c2d9bf.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2013-04-11 07:43:41
|
---|