- Linear logic in computer science
Object's details: Linear logic in computer science
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:295120
- Language:
- Coverage:
- Oryginal in:
Object is located in the collections:
Additional information
- Creation date: 2017-11-13
- Last modification date: 2020-02-12
- Content object's number of views: 58
- You could also download the object's description in these formats: ;
- Historical Text Recognition:
See also
A categorical model of predicate linear logic
Creator:Demeterova, Emilia; Mihalyi Daniel; Novitzka Valerie
Date:2015
Type:artykuł
Between syntax and semantics of resource oriented logic for IDSbehavior description
Creator:Perhac Jan; Mihalui Daniel; Novitzka Valerie
Date:2016
Type:artykuł
Hierarchical structuring for the olive trees irrigation problem in Tunisia
Creator:Daoud Ben Amor, Wiem; Moalla Frikha, Hela
Date:2018
Type:czasopismo
Contributor:Trzaskalik, Tadeusz. Chief Editor
A new procedure of criteria weight determination within the aras method
Creator:Ghram, Maroua; Moalla Frikha, Hela
Date:2018
Type:czasopismo
Contributor:Trzaskalik, Tadeusz. Chief Editor
Wykorzystanie instrumentów finansowych w procesie zarządzania zasobami mieszkaniowymi jednostek samorządu terytorialnego
Creator:Surówka, Marcin; Kuraś, Piotr
Date:2019
Type:artykuł
Coalgebras for modelling observable behavior of programs
Creator:Steingartner William; Novitzká Valerie
Date:2017
Type:artykuł
Współczesne problemy i wyzwania zarządzania zasobami ludzkimi w organizacjach międzynarodowych
Creator:Raczek Agnieszka
Date:2016
Type:artykuł
Employees' age diversity - between supportive workplaces and organizational outcomes
Creator:Waligóra, Łucja
Date:2024
Type:monografia