- Coalgebras for modelling observable behavior of programs
Details zum Objekt: Coalgebras for modelling observable behavior of programs
PDF
Struktur
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Beschreibung
- Titel:
- Group title:
- Verfasser: ;
- Thema und Schlagwörter: ; ; ; ;
- Herausgeber:
- Verlagsort:
- Datum:
- Bestandestyp:
- Identifikation des Bestandes: oai:www.sbc.org.pl:454766
- Sprache:
- Bereich:
- Besitzen:
Das Objekt befindet sich in den Sammlungen:
Zusätzliche Informationen
- Erstellungsdatum: 2021-03-03
- Zuletzt geändert am: 2021-03-03
- Anzahl der Ansichten des Inhaltsobjekts: 10
- Sie können auch die Beschreibung des Objekts in diesen Formaten herunterladen: ;
- Historische Texterkennung:
Siehe auch
Between syntax and semantics of resource oriented logic for IDSbehavior description
Ersteller:Perhac Jan; Mihalui Daniel; Novitzka Valerie
Datum:2016
Typ:artykuł
A categorical model of predicate linear logic
Ersteller:Demeterova, Emilia; Mihalyi Daniel; Novitzka Valerie
Datum:2015
Typ:artykuł
Toposes Are Symmetric Monoidal Closed Categories
Ersteller:Slodicak Viliam
Datum:2012
Typ:artykuł
Some properties of coalgebras and their rôle in computer science
Ersteller:Steingartner William; Radaković Davorka; Valkosak Frantisek; Macko Pavol
Datum:2016
Typ:artykuł
Learning software for handling the mathematical expressions
Ersteller:Steingartner William; Yar-Muhamedov Iskender
Datum:2018
Typ:artykuł
Linear logic in computer science
Ersteller:Steingartner William; Polakova Andera; Praznak Peter; Novitzka Valerie
Datum:2015
Typ:czasopismo
The rôle of categorical structures In infinitesimal calculus
Ersteller:Steingartner William; Galinec Darko
Datum:2013
Typ:czasopismo
Rodzaje kłamstwa i ich wykorzystanie w tekście
Ersteller:Ostaszewski, Aleksandr
Datum:2018
Typ:artykuł
