Gehe zum Hauptmenü Zur Suchmaschine gehen Zum Inhalt springen

Śląska Biblioteka Cyfrowa

Deutsch
English
polski

Startseite
Schlesische Digitale Bibliothek
Publikationen der Teilnehmer
Częstochowa
Nowa kolekcja
A categorical model of predicate linear logic

Details zum Objekt: A categorical model of predicate linear logic

Zur gesamten Sammlung des Objekts gehen

Struktur

Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.

Siehe Beschreibung der Publikationsgruppe

Beschreibung

Titel:
A categorical model of predicate linear logic
Group title:
Journal of Applied Mathematics and Computational Mechanics
Verfasser:
Demeterova, Emilia
;
Mihalyi Daniel
;
Novitzka Valerie
Thema und Schlagwörter:
linear type theory
;
predicate linear logic
;
symmetric monoidal closed category
Herausgeber:
Wydaw. Politechniki Częstochowskiej
Verlagsort:
Częstochowa
Datum:
2015
Bestandestyp:
artykuł
Format:
pdf
Identifikation des Bestandes: oai:www.sbc.org.pl:294568
Sprache:
eng
Bereich:
2013-2015
Besitzen:
Biblioteka Główna Politechniki Częstochowskiej

Das Objekt befindet sich in den Sammlungen:

Didaktische und wissenschaftliche Schriften

Publikationen der Teilnehmer

Zusätzliche Informationen

Erstellungsdatum: 2017-10-31
Zuletzt geändert am: 2020-11-10
Anzahl der Ansichten des Inhaltsobjekts: 103
Sie können auch die Beschreibung des Objekts in diesen Formaten herunterladen:
RDF
;
OAI-PMH
Historische Texterkennung:
beginnen Sie mit der Transkription des Objekts

Siehe auch

Coalgebras for modelling observable behavior of programs

Ersteller:Steingartner William; Novitzká Valerie

Datum:2017

Typ:artykuł

Between syntax and semantics of resource oriented logic for IDSbehavior description

Ersteller:Perhac Jan; Mihalui Daniel; Novitzka Valerie

Datum:2016

Typ:artykuł

Linear logic in computer science

Ersteller:Steingartner William; Polakova Andera; Praznak Peter; Novitzka Valerie

Datum:2015

Typ:czasopismo

Informationen zur Finanzierung

Das Projekt wird von der Europäischen Union aus dem Europäischen Fonds für regionale Entwicklung im Rahmen des Regionalen Operationellen Programms der Woiwodschaft Schlesien für die Jahre 2014 – 2020 Schlesisches Digitarium kofinanziert. Digitalisierung und Zugang zu den Ressourcen der Kultureinrichtungen der Woiwodschaft Schlesien.

Partner1

Partner1

Wir verwenden Dateien durch die Cookie-Qualitätsverbesserungsschicht unserer Website. Für weitere Informationen, lesen Sie bitte das Dokument Datenschutzbestimmungen