Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-64299-4_33
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Inheritance Semantics for Features

1998English

On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Denotational Semantics for Abadi and Leino’s Logic of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Spatiotemporal Algebra in Hadoop for Moving Objects

Geo-Spatial Information Science
DevelopmentPlanningComputers in Earth SciencesGeography
2018English

On the Structure of Ideals of the Dual Algebra of a Coalgebra

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1974English

On the Structure of Ideals of the Dual Algebra of a Coalgebra

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1974English

Discrete Time Process Algebra and the Semantics of SDL

2001English

Abstract Objects and the Semantics of Natural Language

2013English

Search Games With Multiple Hidden Objects

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy