Pages that link to "Item:Q1322849"
From MaRDI portal
The following pages link to A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849):
Displaying 5 items.
- The set player system for symbolic computation on power sets (Q1209621) (← links)
- Set theory for computing. From decision procedures to declarative programming with sets. Foreword by Jacob T. Schwartz (Q2740887) (← links)
- The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability (Q3570158) (← links)
- Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case (Q4884668) (← links)
- The axiom of elementary sets on the edge of Peircean expressibility (Q5718697) (← links)