Coalgebras for Modelling Observable Behaviour of Programs

Journal of Applied Mathematics and Computational Mechanics
doi 10.17512/jamcm.2017.2.12
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Czestochowa University of Technology

Related search

A Note on Descent for Coalgebras

Homology, Homotopy and Applications
Mathematics
2016English

André-Quillen Cohomology for Commutative Coalgebras

Colloquium Mathematicum
Mathematics
1975English

Coalgebras of Bounded Type

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2002English

The Modelling of Pedestrian Vehicle Interaction for Post-Exiting Behaviour

Collective Dynamics
2020English

Observational Ultraproducts of Polynomial Coalgebras

Annals of Pure and Applied Logic
Logic
2003English

The $${{\Mathcal {HS}} = {\Mathcal {SH}}}$$ Problem for Coalgebras

Algebra Universalis
Number TheoryLogicAlgebra
2010English

An Agent-Based Design for the Learner Behaviour Modelling

Information Technology Journal
2007English

Finite Element Modelling for Tensile Behaviour of Thermally Bonded Nonwoven Fabric

Autex Research Journal
Materials ScienceManagement of TechnologyIndustrialManufacturing EngineeringInnovation
2015English

Phase Behaviour Modelling of Athabasca Bitumen for in Situ Combustion Applications

Canadian Journal of Chemical Engineering
Chemical Engineering
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy