The following pages link to Joseph A. Goguen (Q241052):
Displaying 50 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)
- (Q3493234) (← links)
- (Q3520841) (← links)
- (Q3667921) (← links)
- (Q3687683) (← links)
- (Q3719824) (← links)
- (Q3737481) (← links)
- (Q3745248) (← links)
- (Q3780425) (← links)
- (Q3780426) (← links)
- (Q3817573) (← links)
- (Q3880309) (← links)
- (Q3906381) (← links)
- (Q3906394) (← links)
- (Q3920616) (← links)
- (Q3935456) (← links)
- (Q3956373) (← links)
- (Q3962973) (← links)
- (Q3975038) (← links)
- Sheaf semantics for concurrent interacting objects (Q4017459) (← links)
- (Q4028134) (← links)
- Semantics of computation (Q4062639) (← links)
- (Q4063610) (← links)
- Axioms for discrimination information (Corresp.) (Q4077193) (← links)
- Concept representation in natural and artificial languages: Axioms, extensions and applications for fuzzy sets (Q4083023) (← links)
