Searching for "Types are Not Sets." – sorted by Relevance.
-
Sets in Types, Types in Sets
- Sets in Types, Types in Sets Benjamin Werner INRIA--Rocquencourt BP 105 78 153 LE CHESNAY cedex
- Cited by 7 (1 self) – Add To MetaCart
-
The Order Type Of The Set Of Pisot Numbers
- Topology and Its Applications, 69(1996), 115-120 THE ORDER TYPE OF THE SET OF PISOT NUMBERS David
- Add To MetaCart
-
An Emptiness Algorithm for Regular Types with Set Operators
- cs.LO/9811015 11 Nov 1998 An Emptiness Algorithm for Regular Types with Set Operators Lunjin Lu
- Cited by 1 (1 self) – Add To MetaCart
-
Vague spatial data types, set operations, and predicates
- Vague Spatial Data Types, Set Operations, and Predicates Alejandro Pauly & Markus Schneider
- Cited by 5 (3 self) – Add To MetaCart
-
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
- Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models H'el`ene Kirchner 1
- Cited by 2 (0 self) – Add To MetaCart
-
Typed Sets as a Basis for Object-Oriented Database Schemas
- Typed Sets as a Basis for Object-Oriented Database Schemas Herman Balsters y Rolf A. de By y
- Cited by 29 (7 self) – Add To MetaCart
-
Class Types as Sets of Classes in Object-Oriented Formal Specification Languages
- Class Types as Sets of Classes in Object-Oriented Formal Specification Languages Jian Chen
- Cited by 1 (0 self) – Add To MetaCart
-
DIRECTOR Laser Type-setting: Compiled and Edited by:
- AVENUE; NEW DELHI –110012 (2003) Overall Guidance: DR SD SHARMA DIRECTOR Laser Type-setting: Compiled
- Add To MetaCart
-
, Type of Setting and Purpose
- , Type of Setting and Purpose Bengisu Tulu Samir Chatterjee Network Convergence Laboratory Claremont
- Cited by 2 (0 self) – Add To MetaCart
-
From Sets to Types to Categories to Sets ∗
- From Sets to Types to Categories to Sets ∗ Steve Awodey April 12, 2008 Three different styles
- Add To MetaCart

