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

Kazunori Ueda

doi:10.1007/978-3-319-29604-3_1

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

Kazunori Ueda^*

^*Corresponding author for this work

School of Fundamental Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Original language	English
Title of host publication	Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings
Editors	Oleg Kiselyov, Andy King
Publisher	Springer Verlag
Pages	1-11
Number of pages	11
ISBN (Print)	9783319296036
DOIs	https://doi.org/10.1007/978-3-319-29604-3_1
Publication status	Published - 2016
Event	13th International Symposium on Functional and Logic Programming, FLOPS 2016 - Kochi, Japan Duration: 2016 Mar 4 → 2016 Mar 6

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9613
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	13th International Symposium on Functional and Logic Programming, FLOPS 2016
Country/Territory	Japan
City	Kochi
Period	16/3/4 → 16/3/6

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

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

Cite this

Ueda, K. (2016). Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project. In O. Kiselyov, & A. King (Eds.), Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings (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.

Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. ed. / Oleg Kiselyov; Andy King. 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 proceeding › Conference contribution

Ueda, K 2016, Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project. in O Kiselyov & A King (eds), Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. 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 Kiselyov O, King A, editors, Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. Springer Verlag. 2016. p. 1-11. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 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. Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. editor / Oleg Kiselyov ; Andy King. 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",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "1--11",

editor = "Oleg Kiselyov and Andy King",

booktitle = "Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings",

note = "13th International Symposium on Functional and Logic Programming, FLOPS 2016 ; Conference date: 04-03-2016 Through 06-03-2016",

}

TY - GEN

T1 - Logic/constraint programming and concurrency

T2 - 13th International Symposium on Functional and Logic Programming, FLOPS 2016

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

AN - SCOPUS:84961177183

SN - 9783319296036

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

SP - 1

EP - 11

BT - Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings

A2 - Kiselyov, Oleg

A2 - King, Andy

PB - Springer Verlag

Y2 - 4 March 2016 through 6 March 2016

ER -

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

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this