The following pages link to Algebra, Meaning, and Computation (Q5757912):
Displaying 31 items.
- Metalogic, Qualia, and Identity on Neptune’s Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany (Q5757913) (← links)
- Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences (Q5757916) (← links)
- A Stochastic Theory of Black-Box Software Testing (Q5757917) (← links)
- Quantum Institutions (Q5757918) (← links)
- A Functorial Framework for Constraint Normal Logic Programming (Q5757919) (← links)
- Eliminating Dependent Pattern Matching (Q5757920) (← links)
- From Chaos to Undefinedness (Q5757921) (← links)
- An Algebraic Approach to Regular Sets (Q5757922) (← links)
- Sheaves and Structures of Transition Systems (Q5757923) (← links)
- Jewels of Institution-Independent Model Theory (Q5757924) (← links)
- Proving Behavioral Refinements of COL-specifications (Q5757925) (← links)
- Horizontal Composability Revisited (Q5757926) (← links)
- From OBJ to Maude and Beyond (Q5757927) (← links)
- From OBJ to ML to Coq (Q5757928) (← links)
- Extension Morphisms for CommUnity (Q5757929) (← links)
- Semantic Web Languages – Towards an Institutional Perspective (Q5757930) (← links)
- Institutional 2-cells and Grothendieck Institutions (Q5757931) (← links)
- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method (Q5757932) (← links)
- Iterative Lexicographic Path Orders (Q5757933) (← links)
- Completion Is an Instance of Abstract Canonical System Inference (Q5757934) (← links)
- Some Varieties of Equational Logic (Q5757935) (← links)
- Elementary Algebraic Specifications of the Rational Complex Numbers (Q5757936) (← links)
- Uniform Functors on Sets (Q5757937) (← links)
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages (Q5757938) (← links)
- The Reactive Engine for Modular Transducers (Q5757939) (← links)
- Composition by Colimit and Formal Software Development (Q5757940) (← links)
- Complete Categorical Deduction for Satisfaction as Injectivity (Q5757941) (← links)
- Constructive Action Semantics in OBJ (Q5757942) (← links)
- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations (Q5757943) (← links)
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application (Q5757944) (← links)
- My Friend Joseph Goguen (Q5757945) (← links)