The following pages link to Jesse B. Wright (Q770741):
Displayed 41 items.
- Quantifier elimination in a problem of logical design (Q770742) (← links)
- Series-parallel graphs and lattices (Q771002) (← links)
- Recursion and iteration in continuous theories: the ''M-construction'' (Q790235) (← links)
- A uniform approach to inductive posets and inductive closure (Q809105) (← links)
- P-varieties - a signature independent characterization of varieties of ordered algebras (Q1054761) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- More on advice on structuring compilers and proving them correct (Q1156472) (← links)
- Finitary quasi-varieties (Q1168414) (← links)
- (Q1228462) (redirect page) (← links)
- Parallel realization of systems, using factorizations and quotients in categories (Q1228463) (← links)
- (Q2652381) (redirect page) (← links)
- Quasi-projective geometry of two dimensions (Q2652382) (← links)
- The theory of proportionality as an abstraction of group theory (Q2653662) (← links)
- Invariants of the Anti-Automorphisms of a Group (Q3256245) (← links)
- Realization of Events by Logical Nets (Q3260577) (← links)
- Sequence generators, graphs, and formal languages (Q3847736) (← links)
- (Q3851612) (← links)
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation (Q3901654) (← links)
- (Q3906461) (← links)
- Vector Iteration in Pointed Iterative Theories (Q3911392) (← links)
- Data Type Specification: Parameterization and the Power of Specification Techniques (Q3959407) (← links)
- (Q4063610) (← links)
- Initial Algebra Semantics and Continuous Algebras (Q4131619) (← links)
- (Q4134935) (← links)
- (Q4149772) (← links)
- (Q4176939) (← links)
- (Q4199499) (← links)
- Data type specification (Q5402549) (← links)
- (Q5508284) (← links)
- (Q5508686) (← links)
- (Q5522206) (← links)
- (Q5526993) (← links)
- (Q5527003) (← links)
- Algebraic automata and context-free sets (Q5536635) (← links)
- Generalized finite automata theory with an application to a decision problem of second-order logic (Q5538923) (← links)
- Automata in general algebras (Q5565124) (← links)
- Generalized finite automata theory with an application to a decision problem of second-order logic (Q5592253) (← links)
- Characterization of recursively enumerable sets (Q5677466) (← links)
- (Q5730442) (← links)
- An Analysis of a Logical Machine Using Parenthesis-Free Notation (Q5831317) (← links)
- Complete Decoding Nets: General Theory and Minimality (Q5832372) (← links)