- Coalgebras for modelling observable behavior of programs
Object's details: Coalgebras for modelling observable behavior of programs
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:reader.digitarium.pcss.pl:454766
- Language:
- Coverage:
- Oryginal in:
Object is located in the collections:
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ł