The rôle of linear logic in coalgebraical approach of computing
Permalink: | http://skupnikatalog.nsk.hr/Record/nsk.NSK01000824293/Details |
---|---|
Matična publikacija: |
Journal of information and organizational sciences 35 (2011), 2 ; str. 197-213 |
Glavni autor: | Slodičák, Viliam (-) |
Ostali autori: | Macko, Pavol (-) |
Vrsta građe: | Članak |
Jezik: | eng |
Predmet: | |
Online pristup: |
Elektronička verzija članka |
LEADER | 00961caa a2200277 i 4500 | ||
---|---|---|---|
001 | NSK01000824293 | ||
003 | HR-ZaNSK | ||
005 | 20130128120706.0 | ||
007 | ta | ||
008 | 121121s2011 ci | |||| ||eng | ||
035 | |a (HR-ZaNSK)000824293 | ||
040 | |a HR-ZaNSK |b hrv |c HR-ZaNSK |e ppiak | ||
042 | |a croatica | ||
044 | |a ci |c hr | ||
080 | |a 51 |2 MRF 1998. | ||
080 | |a 004 |2 MRF 1998. | ||
100 | 1 | |a Slodičák, Viliam | |
245 | 1 | 4 | |a The rôle of linear logic in coalgebraical approach of computing / |c Viliam Slodičák, Pavol Macko. |
300 | |b Ilustr. | ||
504 | |a Bibliografija: 22 jed. | ||
653 | 0 | |a Anamorfizam |a Katamorfizam |a Linearna logika |a Kompjutorska obrada | |
700 | 1 | |a Macko, Pavol | |
773 | 0 | |t Journal of information and organizational sciences |x 1846-3312 |g 35 (2011), 2 ; str. 197-213 | |
981 | |b B10/11 |p CRO | ||
998 | |a rpeo121121 | ||
856 | 4 | 2 | |u http://hrcak.srce.hr/index.php?show=clanak&id_clanak_jezik=111651 |y Elektronička verzija članka |