- Coalgebras for modelling observable behavior of programs
Object's details: Coalgebras for modelling observable behavior of programs
PDF
Structure
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Description
- Title:
- Group title:
- Creator: ;
- Subject and Keywords: ; ; ; ;
- Publisher:
- Place of publishing:
- Date:
- Resource Type:
- Resource Identifier: oai:www.sbc.org.pl:454766
- Language:
- Coverage:
- Oryginal in:
Object is located in the collections:
Additional information
- Creation date: 2021-03-03
- Last modification date: 2021-03-03
- Content object's number of views: 10
- You could also download the object's description in these formats: ;
- Historical Text Recognition:
See also
Between syntax and semantics of resource oriented logic for IDSbehavior description
Creator:Perhac Jan; Mihalui Daniel; Novitzka Valerie
Date:2016
Type:artykuł
A categorical model of predicate linear logic
Creator:Demeterova, Emilia; Mihalyi Daniel; Novitzka Valerie
Date:2015
Type:artykuł
Toposes Are Symmetric Monoidal Closed Categories
Creator:Slodicak Viliam
Date:2012
Type:artykuł
Some properties of coalgebras and their rôle in computer science
Creator:Steingartner William; Radaković Davorka; Valkosak Frantisek; Macko Pavol
Date:2016
Type:artykuł
Learning software for handling the mathematical expressions
Creator:Steingartner William; Yar-Muhamedov Iskender
Date:2018
Type:artykuł
Linear logic in computer science
Creator:Steingartner William; Polakova Andera; Praznak Peter; Novitzka Valerie
Date:2015
Type:czasopismo
The rôle of categorical structures In infinitesimal calculus
Creator:Steingartner William; Galinec Darko
Date:2013
Type:czasopismo
Rodzaje kłamstwa i ich wykorzystanie w tekście
Creator:Ostaszewski, Aleksandr
Date:2018
Type:artykuł
