- Coalgebras for modelling observable behavior of programs
Szczegóły obiektu: Coalgebras for modelling observable behavior of programs
PDF
Struktura
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Opis
- Tytuł:
- Tytuł publikacji grupowej:
- Autor: ;
- Temat i słowa kluczowe: ; ; ; ;
- Wydawca:
- Miejsce wydania:
- Data wydania:
- Typ zasobu:
- Identyfikator zasobu: oai:www.sbc.org.pl:454766
- Język:
- Zakres:
- Lokalizacja oryginału:
Obiekt znajduje się w kolekcjach:
Informacje dodatkowe
- Data utworzenia: 2021-03-03
- Data ostatniej modyfikacji: 2021-03-03
- Liczba wyświetleń treści obiektu: 10
- Możesz również pobrać opis tego obiektu w formatach: ;
- Rozpoznawanie Tekstów Historycznych:
Zobacz także
Between syntax and semantics of resource oriented logic for IDSbehavior description
Twórca:Perhac Jan; Mihalui Daniel; Novitzka Valerie
Data:2016
Typ:artykuł
A categorical model of predicate linear logic
Twórca:Demeterova, Emilia; Mihalyi Daniel; Novitzka Valerie
Data:2015
Typ:artykuł
Toposes Are Symmetric Monoidal Closed Categories
Twórca:Slodicak Viliam
Data:2012
Typ:artykuł
Some properties of coalgebras and their rôle in computer science
Twórca:Steingartner William; Radaković Davorka; Valkosak Frantisek; Macko Pavol
Data:2016
Typ:artykuł
Learning software for handling the mathematical expressions
Twórca:Steingartner William; Yar-Muhamedov Iskender
Data:2018
Typ:artykuł
Linear logic in computer science
Twórca:Steingartner William; Polakova Andera; Praznak Peter; Novitzka Valerie
Data:2015
Typ:czasopismo
The rôle of categorical structures In infinitesimal calculus
Twórca:Steingartner William; Galinec Darko
Data:2013
Typ:czasopismo
Rodzaje kłamstwa i ich wykorzystanie w tekście
Twórca:Ostaszewski, Aleksandr
Data:2018
Typ:artykuł
