- Linear logic in computer science
Object's details: Linear logic in computer science
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:295120
- Language:
- Coverage:
- Oryginal in:
Object is located in the collections:
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ł
Specyfika zarządzania personelem w przedsiębiorstwach rodzinnych
Creator:Kamińska, Barbara
Date:2013
Type:artykuł
Contributor:Smolarek, Małgorzata. Red.