Radovi objavljeni na projektu 1-01-090

• Knjiga 1
  
• Rad u knjizi 7
  
• Rad u časopisu 5
  
• Magistarski rad 2
  
• Mentorstvo 2
  

1. Tip rada: Knjiga
   

   Naslov: Filozofija matematike
   

   Autori:

   Šikić, Zvonimir (46613)

   Izdavač: školska knjiga
   ISBN: 9530204202
   Godina: 1995
   Broj stranica: 81
   

   ---

2. Tip rada: Rad u knjizi
   

   Naslov: From Prolog Algebras Towards WAM - A Mathematical Study of Implementation
   

   Autori:

   Boerger, Egon

   Rosenzweig, Dean (41536)

   Urednici

   Boerger, Egon

   Kleine Buening, Hans

   Richter, Manfred

   Schoenfeld, Wilhelm

   Izdavač: Springer-Verlag
   ISBN: 3-540-54487-9
   Godina: 1991
   Stranice: od 31 do 66
   Broj referenci: 16
   Jezik: engleski
   

   ---

3. Tip rada: Rad u knjizi
   

   Naslov: WAM Algebras - A Mathematical Study of Implementation, Part 2
   

   Autori:

   Boerger, Egon

   Rosenzweig, Dean (41536)

   Urednici

   Voronkov, Andrei

   Izdavač: Springer-Verlag
   ISBN: 3-540-55460-2
   Godina: 1992
   Stranice: od 35 do 54
   Broj referenci: 7
   Jezik: engleski
   

   ---

4. Tip rada: Rad u knjizi
   

   Naslov: The Mathematics of Set Predicates in Prolog
   

   Autori:

   Boerger, Egon

   Rosenzweig, Dean (41536)

   Urednici

   Gottlob, Georg

   Leitsch, Alexander

   Mundici, Daniele

   Izdavač: Springer-Verlag
   ISBN: 3-540-57184-1
   Godina: 1993
   Stranice: od 1 do 13
   Broj referenci: 12
   Jezik: engleski
   Ostalo: pozvano predavanje prvog autora na Third Kurt Goedel Colloquium
   

   ---

5. Tip rada: Rad u knjizi
   

   Naslov: Communicating Evolving Algebras
   

   Autori:

   Glavan, Paola (170363)

   Rosenzweig, Dean (41536)

   Urednici

   Boerger, Egon

   Martini, Simone

   Jaeger, Georg

   Kleine Buening, Hans

   Richter, Manfred

   Izdavač: Springer-Verlag
   Godina: 1993
   Stranice: od 186 do 215
   Jezik: engleski
   

   ---

6. Tip rada: Rad u knjizi
   

   Naslov: The WAM - Definition and Compiler Correctness
   

   Autori:

   Boerger, Egon

   Rosenzweig, Dean (41536)

   Izdavač: North-Holland
   ISBN: 0444820922
   Godina: 1995
   Stranice: od 21 do 90
   Broj referenci: 19
   Jezik: engleski
   

   ---

7. Tip rada: Rad u knjizi
   

   Naslov: Evolving Algebra Model of Programming Language Semantics
   

   Autori:

   Glavan, Paola (170363)

   Rosenzweig, Dean (41536)

   Urednici

   Pehrson, Bjorn

   Simon, Imre

   Izdavač: North-Holland
   ISBN: 0444819894
   Godina: 1994
   Stranice: od 416 do 422
   Jezik: engleski
   

   ---

8. Tip rada: Rad u knjizi
   

   Naslov: The Bakery Algorithm: yet another specification and verification
   

   Autori:

   Boerger, Egon

   Rosenzweig, Dean (41536)

   Gurevich, Yuri

   Urednici

   Boerger, Egon

   ISBN: 0198538545
   Godina: 1995
   Stranice: od 231 do 244
   Jezik: engleski
   

   ---

9. Tip rada: Rad u časopisu
   

   Naslov: A proof of the characterization theorem for consequence relations
   

   Autori:

   Šikić, Zvonimir (46613)

   Časopis: Zeitschrifft fuer mathematische Logik und Grundlagen der Mathematik
   Broj: 1
   ISSN: 0044-3050
   Volumen: 37
   Godina: 1991
   Stranice: od 41 do 43
   Broj referenci: 2
   Jezik: engleski
   

   ---

10. Tip rada: Rad u časopisu
    

    Naslov: On Devide's axiomatization of natural numbers
    

    Autori:

    Šikić, Zvonimir (46613)

    Časopis: Grazer Mathematische Berichte
    Volumen: 313
    Godina: 1991
    Stranice: od 57 do 64
    Broj referenci: 6
    Jezik: engleski
    

    ---

11. Tip rada: Rad u časopisu
    

    Naslov: The diagonal argument - a study of cases
    

    Autori:

    Šikić, Zvonimir (46613)

    Časopis: International Studies in the Philosophy of Science
    Volumen: 6
    Godina: 1992
    Stranice: od 191 do 203
    Broj referenci: 17
    Jezik: engleski
    

    ---

12. Tip rada: Rad u časopisu
    

    Naslov: On predicative tautologies
    

    Autori:

    Kirin, Vladimir (20974)

    Časopis: Grazer Mathematische Berichte
    Volumen: 313
    Godina: 1991
    Stranice: od 19 do 28
    Broj referenci: 2
    Jezik: engleski
    

    ---

13. Tip rada: Rad u časopisu
    

    Naslov: On 2-(85.28.29) design
    

    Autori:

    Horvatić-Baldasar, Ksenija (16123)

    Matulić-Bedenić, Ida (29864)

    Časopis: Punime matematike
    Broj: 4
    Godina: 1991
    Stranice: od 56 do 60
    Broj referenci: 1
    Jezik: engleski
    Sažetak: U ovom se ;lanku dokazuje sljede'i Teorem. Ne postoji simetri;ni blok dizajn 2-(85.28.9) na kojem djeluje grupa automorfizama Z14 = Z7xZ2
    Ključne riječi: blok dizajn, grupa automorfizama
    

    ---

14. Tip rada: Rad u časopisu
    

    Naslov: The classification of projective planes of order 13 which possess an involution
    

    Autori:

    Matulić-Bedenić, Ida (29864)

    Časopis: Rad HAZU
    Broj: 456
    ISSN: 0351-8639
    Volumen: 10
    Godina: 1991
    Stranice: od 9 do 13
    Broj referenci: 2
    Jezik: engleski
    Sažetak: U ovom je ;lanku dokazan sljede'i Teorem. Ako projektivna ravnina reda n=13 ima involutornukolineaciju, tada je izomorfna s Desarguesovom ravninom
    Ključne riječi: poludvoravnina, kolineacija, Desarguesova ravnina
    

    ---

15. Tip rada: Rad u časopisu
    

    Naslov: On a distinction between pure and applied mathematics
    

    Autori:

    Šikić, Zvonimir (46613)

    Časopis: Encyclopaedia Moderna
    Broj: 1
    ISSN: 0013-7138
    Volumen: 13
    Godina: 1992
    Stranice: od 74 do 78
    Jezik: engleski
    

    ---

16. Tip rada: Rad u časopisu
    

    Naslov: On the equivalence of the solution lemma and Acel's antifoundation axiom
    

    Autori:

    Šikić, Zvonimir (46613)

    Časopis: Grazer Mathematische Berichte
    Broj: 323
    Godina: 1994
    Stranice: od 69 do 78
    Jezik: engleski
    

    ---

17. Tip rada: Rad u časopisu
    

    Naslov: On Infinite Series of Biplanes of Order n>2 Prime Number with Frobenius Group
    

    Autori:

    Horvatić-Baldasar, Ksenija (16123)

    Matulić-Bedenić, Ida (29864)

    Časopis: Rad HAZU
    Broj: 12
    ISSN: 0351-8639
    Volumen: 470
    Godina: 1995
    Stranice: od 7 do 12
    Jezik: engleski
    

    ---

18. Tip rada: Magistarski rad
    

    Naslov: Semanti;ka analiza istodobnih logi;kih programskih jezika
    Fakultet: Prirodoslovno matemati;ki fakultet, Matemati;ki odjel Svau;iliŠte u Zagrebu
    Datum obrane: 25.01.93
    Broj stranica: 72
    Sažetak: Opisan je formalizam dinami;kih algebri Gurevicha, i razvijena jemodalna logika pravila i sekvencijalnih ra;unksih izraza. Uvedenje pojam nezavisnosti pravila i ra;una, i ispitana su i dokazananjegova svojstva. Pojam nezavisnih ra;una omogu'uje realizacijuteorije istodobnosti unutar okvira dinami;kih algebri. Modalna jelogika proŠirena i na istodobne ra;une. Dobiveni su rezultatipravo uop'enje dosadaŠnjih konkretnih studija (modela Occama,Parloga i Concurrent Prologa), i zamiŠljeni su kao za;etak op'eteorije istodobnog ra;unanja unutar formalizma dinami;kihalgebri.
    Ključne riječi: dinami;ke algebre, nezavisnost, istodobni ra;un, modalna logika pravila
    

    ---

19. Tip rada: Magistarski rad
    

    Naslov: Modeli lambda-ra;una
    Fakultet: Prirodoslovno matemati;ki fakultet, Matemati;ki odjel Svau;iliŠte u Zagrebu
    Datum obrane: 26.04.93
    Jezik: hrvatski
    Broj stranica: 117
    Sažetak: Definiran je lambda-ra;un i neki pojmovi potrebni za analizumodela. Navedena su sonovna svojstva potpunih parcijalnihuredjaja. Detaljno se analizira pojam redukcije terma irezultati se primjenjuju na beta-redukciju. Definiraju seBoehmova stabla i uvodi se topologija na njima. Daje se op'adefinicija lambda-modela. Opisuje se kategorijski pristupdefiniranju lambda-modela. Opisuju se i konstruiraju Engelerovmodel, Plotkinov model, Scottov model i model Boehmovih stabala.Analizira se lokalna i globalna struktura modela.
    Ključne riječi: lambda-ra;un, model lambda ra;una, Boehmovo stablo, lambda-model
    

    ---

20. Tip rada: Mentorstvo
    

    Naslov: Semanti;ka analiza istodobnih logi;kih programskih jezika
    Fakultet: Prirodoslovno matemati;ki fakultet, Matemati;ki odjel Svau;iliŠte u Zagrebu
    Broj stranica: 72
    Autor: Glavan mr. Paola
    Rad: Magisterij
    

    ---

21. Tip rada: Mentorstvo
    

    Naslov: Modeli lambda-ra;una
    Fakultet: Prirodoslovno matemati;ki fakultet, Matemati;ki odjel Svau;iliŠte u Zagrebu
    Datum obrane: 26.04.93
    Broj stranica: 117
    Autor: Urbiha mr Igor
    Rad: Magisterij
    

    ---

Ministarstvo znanosti i tehnologije	Engleski jezik	Svibor početna stranica	Abecedni popis	Složeno po šifri projekta	Složeno po ustanovi projekta	Pretraživanje	Pomoć