Pretraga

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

Napredna pretraga

Pregled bibliografske jedinice broj: 1098643

Logic, Language, and Security

Logic, Language, and Security / Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Loo, Boon Thau ; Okada, Mitsuhiro (ur.). Cham: Springer, 2020 (zbornik) doi:10.1007/978-3-030-62077-6

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

Naslov
Logic, Language, and Security

Urednik/ci
Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Loo, Boon Thau ; Okada, Mitsuhiro

Vrsta, podvrsta i kategorija knjige
Uredničke knjige, zbornik, znanstvena

Izdavač
Springer

Grad
Cham

Godina
2020

Stranica
208

ISBN
978-3-030-62076-9

Ključne riječi
artificial intelligence ; boolean functions ; computer programming ; computer security ; cryptography ; dynamic logic ; field programmable gate array ; formal logic ; formal methods ; formal verifications ; fpga ; fuzzy logic ; fuzzy sets ; logic design ; logic gates ; many valued logics ; modal logic ; model checking ; multivalued logic ; network protocols

Sažetak
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer science including Proof Theory, Logic in Computer Science, Foundations in Computer Security, and Linguistics. This combination of breadth and penetrating originality is rare and impressive. This Festschrift only tries to reflect this combination with a number of contributions distributed among these different topics. It contains 11 technical articles and 3 short papers organized among sections on Logic, Logic and Computing, Logic and Security, and Logic and Language. Those articles are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo, Filologija



POVEZANOST RADA

Projekti:
HRZZ-UIP-2017-05-9219 - Formalno rasuđivanje i semantike (FORMALS) (Perkov, Tin, HRZZ - 2017-05) ( CroRIS)

Ustanove:
Sveučilište u Rijeci, Fakultet za matematiku

Profili:

Avatar Url Tajana Ban Kirigin (urednik)

Poveznice na cjeloviti tekst rada:

doi link.springer.com

Citiraj ovu publikaciju:

Logic, Language, and Security / Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Loo, Boon Thau ; Okada, Mitsuhiro (ur.). Cham: Springer, 2020 (zbornik) doi:10.1007/978-3-030-62077-6
Nigam, V., Ban Kirigin, T., Talcott, C., Guttman, J., Kuznetsov, S., Loo, B. & Okada, M. (ur.) (2020) Logic, Language, and Security. Cham, Springer doi:10.1007/978-3-030-62077-6.
@book{book, year = {2020}, pages = {208}, DOI = {10.1007/978-3-030-62077-6}, keywords = {artificial intelligence, boolean functions, computer programming, computer security, cryptography, dynamic logic, field programmable gate array, formal logic, formal methods, formal verifications, fpga, fuzzy logic, fuzzy sets, logic design, logic gates, many valued logics, modal logic, model checking, multivalued logic, network protocols}, doi = {10.1007/978-3-030-62077-6}, isbn = {978-3-030-62076-9}, title = {Logic, Language, and Security}, keyword = {artificial intelligence, boolean functions, computer programming, computer security, cryptography, dynamic logic, field programmable gate array, formal logic, formal methods, formal verifications, fpga, fuzzy logic, fuzzy sets, logic design, logic gates, many valued logics, modal logic, model checking, multivalued logic, network protocols}, publisher = {Springer}, publisherplace = {Cham} }
@book{book, year = {2020}, pages = {208}, DOI = {10.1007/978-3-030-62077-6}, keywords = {artificial intelligence, boolean functions, computer programming, computer security, cryptography, dynamic logic, field programmable gate array, formal logic, formal methods, formal verifications, fpga, fuzzy logic, fuzzy sets, logic design, logic gates, many valued logics, modal logic, model checking, multivalued logic, network protocols}, doi = {10.1007/978-3-030-62077-6}, isbn = {978-3-030-62076-9}, title = {Logic, Language, and Security}, keyword = {artificial intelligence, boolean functions, computer programming, computer security, cryptography, dynamic logic, field programmable gate array, formal logic, formal methods, formal verifications, fpga, fuzzy logic, fuzzy sets, logic design, logic gates, many valued logics, modal logic, model checking, multivalued logic, network protocols}, publisher = {Springer}, publisherplace = {Cham} }

Citati:

    Altmetrijski pokazatelji:


    Podijeli:





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