The following pages link to (Q3741005):
Displaying 12 items.
- SETL (Q52027) (← links)
- 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)
- Program derivation with verified transformations — a case study (Q4884666) (← links)
- An automatically verified prototype of the Android permissions system (Q6103592) (← links)
