Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 33330

Evolving Algebras and Light Linear Logic

Rosenzweig, Dean
Evolving Algebras and Light Linear Logic // 1995 European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium '95 - Haifa, Israel, August 9-17, 1995 - Abstracts / Bulletin of symbolic logic 3(1)
Cambridge: Cambridge University Press, 1997. str. 116-116 (predavanje, međunarodna recenzija, sažetak, znanstveni)

CROSBI ID: 33330 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Evolving Algebras and Light Linear Logic

Autori
Rosenzweig, Dean

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
1995 European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium '95 - Haifa, Israel, August 9-17, 1995 - Abstracts / Bulletin of symbolic logic 3(1) / - Cambridge : Cambridge University Press, 1997, 116-116

Skup
European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium '95

Mjesto i datum
Haifa, Izrael, 09.05.1995. - 17.05.1995

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
evolving algebra ; linear logic

Sažetak
Defining the evolving algebra model of light linear logic.

Izvorni jezik
Engleski

Znanstvena područja
Matematika



POVEZANOST RADA

Projekti:
120033

Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb

Profili:

Avatar Url Dean Rosenzweig (autor)

Citiraj ovu publikaciju:

Rosenzweig, Dean
Evolving Algebras and Light Linear Logic // 1995 European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium '95 - Haifa, Israel, August 9-17, 1995 - Abstracts / Bulletin of symbolic logic 3(1)
Cambridge: Cambridge University Press, 1997. str. 116-116 (predavanje, međunarodna recenzija, sažetak, znanstveni)
Rosenzweig, D. (1997) Evolving Algebras and Light Linear Logic. U: 1995 European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium '95 - Haifa, Israel, August 9-17, 1995 - Abstracts / Bulletin of symbolic logic 3(1).
@article{article, author = {Rosenzweig, Dean}, year = {1997}, pages = {116-116}, keywords = {evolving algebra, linear logic}, title = {Evolving Algebras and Light Linear Logic}, keyword = {evolving algebra, linear logic}, publisher = {Cambridge University Press}, publisherplace = {Haifa, Izrael} }
@article{article, author = {Rosenzweig, Dean}, year = {1997}, pages = {116-116}, keywords = {evolving algebra, linear logic}, title = {Evolving Algebras and Light Linear Logic}, keyword = {evolving algebra, linear logic}, publisher = {Cambridge University Press}, publisherplace = {Haifa, Izrael} }

Časopis indeksira:


  • Web of Science Core Collection (WoSCC)
    • Science Citation Index Expanded (SCI-EXP)
    • SCI-EXP, SSCI i/ili A&HCI
  • Scopus

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.