scientific article; zbMATH DE number 3999267

zbMath0616.68020MaRDI QIDQ4725725

Horst Reichel

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Closure properties for the class of behavioral models, Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach, Abstract valuation semantics, A short overview of Hidden Logic, Categorical abstract algebraic logic: behavioral \(\pi\)-institutions, Observational interpretations of hybrid dynamic logic with binders and silent transitions, On behavioural abstraction and behavioural satisfaction in higher-order logic, Observational specifications and the indistinguishability assumption, Coalgebras for Binary Methods: Properties of Bisimulations and Invariants, Behavioral abstraction is hiding information, Behavioural and abstractor specifications revisited, On behavioural abstraction and behavioural satisfaction in higher-order logic, A hidden agenda, A hidden Herbrand theorem: Combining the object and logic paradigms, Behavioural satisfaction and equivalence in concrete model categories