Cited in
(35)- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
- Orthogonal parallel processing in Vector Pascal
- Set graphs. IV. Further connections with claw-freeness
- scientific article; zbMATH DE number 7552283 (Why is no real title available?)
- Using multiset discrimination to solve language processing problems without hashing
- Interval propagation to reason about sets: Definition and implementation of a practical language
- scientific article; zbMATH DE number 7552282 (Why is no real title available?)
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
- Automated proof of Bell-LaPadula security properties
- Set graphs. II. Complexity of set graph recognition and similar problems
- ISDL
- Miranda
- AEtnaNova
- BWare
- Referee
- NESL
- MGS
- NLambda
- JSetL
- Reasoning with finite sets and cardinality constraints in SMT
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
- POETS: process-oriented event-driven transaction systems
- SMT solving for functional programming over infinite structures
- Comprehending Ringads
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
- An automatically verified prototype of the Tokeneer ID station specification
- Adding partial functions to constraint logic programming with sets
- Issues in commonsense set theory
- The foundation of self-developing blob machines for spatial computing
- Automated reasoning with restricted intensional sets
- Finding Reductions Automatically
- Goals and benchmarks for automated map reasoning
- Quantum interference computation
- An NSF proposal
- Transformational derivation of an improved alias analysis algorithm
This page was built for software: SETL
