Scritical Pairs and Sunification

Cached

Download Links

by Joseph Goguen , Monica Marcus
Citations:1 - 1 self

Active Bibliography

26 Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages – Razvan Diaconescu - 1996
35 Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures – Cesare Tinelli, Christophe Ringeissen - 2001
120 Introducing OBJ РJoseph A. Goguen, Timothy Winkler, Jos̩ Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
7 Category-based Constraint Logic – Razvan Diaconescu - 1999
8 Axiomatizability in Inclusive Equational Logic – Grigore Rosu - 1996
10 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi
2 Are Agents an Answer or a Question? – Joseph A. Goguen - 2001
2 Dimensions of Style in Computer Mediated Text – Joseph A. Goguen, D. Fox Harrell - 2004
17 Semiotic Morphisms, Representations and Blending for Interface Design – Joseph Goguen - 2003
6 Musical Qualia, Context, Time, and Emotion – Joseph Goguen - 2004
7 Style as a choice of blending principles – Joseph A. Goguen, D. Fox Harrell - 2004
4 Mathematical models of cognitive space and time – Joseph Goguen - 2006
Time, Structure and Emotion in Music – Joseph Goguen, Ryoko Goguen - 2004
Steps towards a Design Theory for Virtual Worlds – Joseph A. Goguen
5 Combining Constraint Solving – Franz Baader, Klaus U. Schulz - 2001
3 Negation in Combining Constraint Systems – Stephan Kepser - 1998
19 Social and Semiotic Analyses for Theorem Prover User Interface Design – Joseph Goguen - 1999
4 Combining Decision Procedures for Positive Theories Sharing Constructors – Franz Baader, Cesare Tinelli - 2002
2 2003b, ‘Category Theory and Higher Dimensional Algebra: Potential Descriptive Tools in Neuroscience – Ronald Brown, Timothy Porter