Joseph A. Goguen
- L-fuzzy sets
1967/04/01 by Joseph A. Goguen, J.A Goguen · 18 citations
Decision Sciences · Computer Science · #Multi-Criteria Decision Making #Fuzzy Logic and Control Systems #Rough Sets and Fuzzy Logic
- Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories
1991/12/01 by Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen · 1 citation
- Theorem Proving and Algebra
2021/01/07 by Joseph A. Goguen, Goguen, Joseph A. · 1 voice
Computer Science · #03B70 (Primary) #68Q65 #F.1.1 #F.3.1 #F.3.2 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #I.1.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Symbolic Computation (cs.SC) #cs.LO #cs.PL #cs.SC