The following pages link to (Q4152697):
Displaying 50 items.
- Separation axioms in intuitionistic fuzzy topological spaces (Q360577) (← links)
- Fermat-Reyes method in the ring of Fermat reals (Q639539) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- List-arithmetic distributive categories: Locoi (Q752170) (← links)
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- A characterization of the category FCS (Q780204) (← links)
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- Monoidal closed categories, weak topoi and generalized logics (Q810504) (← links)
- Codatatypes in ML (Q908682) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- Pluri-adjoints and preservation of finite limits (Q914820) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Hierarchical behavior in fit dynamical systems (Q1069883) (← links)
- The bilinear product category (Q1073171) (← links)
- A note on the number of distributive laws (Q1084165) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- A characterization of passing compatibility for parameterized specifications (Q1090101) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- Strictness analysis and denotational abstract interpretation (Q1098274) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- The equational theory of parameterized specifications (Q1111364) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Partially additive categories and flow-diagram semantics (Q1137858) (← links)
- Foundations of system theory: The Hankel matrix (Q1146145) (← links)
- Dynamic structure theory: A structural approach to social and biological systems (Q1152316) (← links)
- On the category of normal embeddings of a group (Q1162602) (← links)
- A class of fuzzy theories (Q1170604) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Strictness analysis via abstract interpretation for recursively defined types (Q1193597) (← links)
- Some economic applications of Scott domains (Q1196207) (← links)
- A category-theoretic approach to systems in a fuzzy world (Q1215701) (← links)
- Epimorphisms of free monoids (Q1236626) (← links)
- Foundations of system theory: Multidecomposable systems (Q1240690) (← links)
- From environments to representations -- a mathematical theory of artificial perceptions (Q1274888) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion (Q1293044) (← links)
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Synchronization trees (Q1348524) (← links)
- On pushout consistency, modularity and interpolation for logical specifications (Q1350924) (← links)
- A categorical approach to minimal realization for a fuzzy language (Q1795371) (← links)
- Dynamic bracketing and discourse representation (Q1815432) (← links)
- Amalgamation of graph transformations: a synchronization mechanism (Q1822505) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Why mathematics needs engineering (Q2374304) (← links)
- Understanding one another: making out meanings with Boolean equations (Q2642625) (← links)
- Rosen's modelling relations via categorical adjunctions (Q2869776) (← links)
