The following pages link to SETL (Q52027):
Displaying 26 items.
- Set graphs. IV. Further connections with claw-freeness (Q400530) (← links)
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680) (← links)
- Using multiset discrimination to solve language processing problems without hashing (Q673099) (← links)
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Transformational derivation of an improved alias analysis algorithm (Q815001) (← links)
- An NSF proposal (Q815007) (← links)
- The foundation of self-developing blob machines for spatial computing (Q933442) (← links)
- Quantum interference computation (Q943981) (← links)
- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- Automated proof of Bell-LaPadula security properties (Q2031424) (← links)
- An automatically verified prototype of the Tokeneer ID station specification (Q2069869) (← links)
- Set graphs. II. Complexity of set graph recognition and similar problems (Q2253199) (← links)
- POETS: process-oriented event-driven transaction systems (Q2390035) (← links)
- Orthogonal parallel processing in Vector Pascal (Q2568278) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Comprehending Ringads (Q3188283) (← links)
- Finding Reductions Automatically (Q3586003) (← links)
- (Q4553283) (← links)
- Adding partial functions to Constraint Logic Programming with sets (Q4593005) (← links)
- (Q5013828) (← links)
- (Q5087785) (← links)
- (Q5087786) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
