Logic/constraint programming and concurrency

The hard-won lessons of the fifth generation computer project

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    PublisherSpringer Verlag
    Pages1-11
    Number of pages11
    Volume9613
    ISBN (Print)9783319296036
    DOIs
    Publication statusPublished - 2016
    Event13th International Symposium on Functional and Logic Programming, FLOPS 2016 - Kochi, Japan
    Duration: 2016 Mar 42016 Mar 6

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume9613
    ISSN (Print)03029743
    ISSN (Electronic)16113349

    Other

    Other13th International Symposium on Functional and Logic Programming, FLOPS 2016
    CountryJapan
    CityKochi
    Period16/3/416/3/6

    Fingerprint

    Constraint Logic Programming
    Concurrency

    ASJC Scopus subject areas

    • Computer Science(all)
    • Theoretical Computer Science

    Cite this

    Ueda, K. (2016). Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9613, pp. 1-11). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9613). Springer Verlag. https://doi.org/10.1007/978-3-319-29604-3_1

    Logic/constraint programming and concurrency : The hard-won lessons of the fifth generation computer project. / Ueda, Kazunori.

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9613 Springer Verlag, 2016. p. 1-11 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9613).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Ueda, K 2016, Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 9613, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9613, Springer Verlag, pp. 1-11, 13th International Symposium on Functional and Logic Programming, FLOPS 2016, Kochi, Japan, 16/3/4. https://doi.org/10.1007/978-3-319-29604-3_1
    Ueda K. Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9613. Springer Verlag. 2016. p. 1-11. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-29604-3_1
    Ueda, Kazunori. / Logic/constraint programming and concurrency : The hard-won lessons of the fifth generation computer project. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9613 Springer Verlag, 2016. pp. 1-11 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
    @inproceedings{d9664d9412ed4d3485a2eb17fb823aa7,
    title = "Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project",
    author = "Kazunori Ueda",
    year = "2016",
    doi = "10.1007/978-3-319-29604-3_1",
    language = "English",
    isbn = "9783319296036",
    volume = "9613",
    series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
    publisher = "Springer Verlag",
    pages = "1--11",
    booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

    }

    TY - GEN

    T1 - Logic/constraint programming and concurrency

    T2 - The hard-won lessons of the fifth generation computer project

    AU - Ueda, Kazunori

    PY - 2016

    Y1 - 2016

    UR - http://www.scopus.com/inward/record.url?scp=84961177183&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=84961177183&partnerID=8YFLogxK

    U2 - 10.1007/978-3-319-29604-3_1

    DO - 10.1007/978-3-319-29604-3_1

    M3 - Conference contribution

    SN - 9783319296036

    VL - 9613

    T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    SP - 1

    EP - 11

    BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    PB - Springer Verlag

    ER -