scientific article; zbMATH DE number 1487499
From MaRDI portal
Publication:4493908
Recommendations
Cited in
(22)- A hidden agenda
- On institutions for modular coalgebraic specifications.
- A hidden Herbrand theorem: Combining the object and logic paradigms
- Observational logic, constructor-based logic, and their duality.
- Observational interpretations of hybrid dynamic logic with binders and silent transitions
- Constructor-based observational logic
- Closure properties for the class of behavioral models
- Stratified institutions and elementary homomorphisms
- Herbrand theorems in arbitrary institutions
- Behavioural specification for hierarchical object composition
- Towards behavioral Maude: behavioral membership equational logic
- Inductive behavioral proofs by unhiding
- Behavioral equivalence of hidden k-logics: an abstract algebraic approach
- scientific article; zbMATH DE number 1972769 (Why is no real title available?)
- scientific article; zbMATH DE number 1507195 (Why is no real title available?)
- A short overview of hidden logic
- scientific article; zbMATH DE number 1418363 (Why is no real title available?)
- Observational refinement process
- Object oriented institutions to specify symbolic computation systems
- Semantic constructions for the specification of objects
- Behavioral abstraction is hiding information
- Behavioural and abstractor specifications revisited
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4493908)
