The following pages link to Joseph A. Goguen (Q241052):
Displaying 26 items.
- Order-sorted unification (Q582269) (← links)
- (Q699928) (redirect page) (← links)
- Institution morphisms (Q699929) (← links)
- (Q789163) (redirect page) (← links)
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Final algebras, cosemicomputable algebras and degrees of unsolvability (Q1199822) (← links)
- Discrete-time machines in closed monoidal categories. I (Q1216447) (← links)
- Parallel realization of systems, using factorizations and quotients in categories (Q1228463) (← links)
- A hidden agenda (Q1575735) (← links)
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems (Q1803659) (← links)
- The fuzzy Tychonoff theorem (Q1842920) (← links)
- On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs (Q1845472) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- L-fuzzy sets (Q2523884) (← links)
- The logic of inexact concepts (Q2535673) (← links)
- (Q2703688) (← links)
- (Q3012523) (← links)
- (Q3030249) (← links)
- (Q3332238) (← links)
- Parameterized Programming (Q3334970) (← links)
- Data, Schema, Ontology and Logic Integration (Q3378198) (← links)
