![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
International Symposium on Functional and Logic Programming (FLOPS)
Fuji International Symposium on Functional and Logic Programming (FLOPS)
17th FLOPS 2024: Kumamoto, Japan
- Jeremy Gibbons
, Dale Miller
:
Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings. Lecture Notes in Computer Science 14659, Springer 2024, ISBN 978-981-97-2299-0 [contents]
16th FLOPS 2022: Kyoto, Japan
- Michael Hanus
, Atsushi Igarashi
:
Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings. Lecture Notes in Computer Science 13215, Springer 2022, ISBN 978-3-030-99460-0 [contents]
15th FLOPS 2020: Akita, Japan
- Keisuke Nakano
, Konstantinos Sagonas
:
Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings. Lecture Notes in Computer Science 12073, Springer 2020, ISBN 978-3-030-59024-6 [contents]
14th FLOPS 2018: Nagoya, Japan
- John P. Gallagher, Martin Sulzmann:
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. Lecture Notes in Computer Science 10818, Springer 2018, ISBN 978-3-319-90685-0 [contents]
13th FLOPS 2016: Kochi, Japan
- Oleg Kiselyov, Andy King:
Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings. Lecture Notes in Computer Science 9613, Springer 2016, ISBN 978-3-319-29603-6 [contents]
12th FLOPS 2014: Kanazawa, Japan
- Michael Codish
, Eijiro Sumii:
Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Lecture Notes in Computer Science 8475, Springer 2014, ISBN 978-3-319-07150-3 [contents]
11th FLOPS 2012: Kobe, Japan
- Tom Schrijvers
, Peter Thiemann:
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Lecture Notes in Computer Science 7294, Springer 2012, ISBN 978-3-642-29821-9 [contents]
10th FLOPS 2010: Sendai, Japan
- Matthias Blume, Naoki Kobayashi, Germán Vidal:
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Lecture Notes in Computer Science 6009, Springer 2010, ISBN 978-3-642-12250-7 [contents]
9th FLOPS 2008: Ise, Japan
- Jacques Garrigue, Manuel V. Hermenegildo:
Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings. Lecture Notes in Computer Science 4989, Springer 2008, ISBN 978-3-540-78968-0 [contents]
8th FLOPS 2006: Fuji-Susono, Japan
- Masami Hagiya, Philip Wadler:
Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings. Lecture Notes in Computer Science 3945, Springer 2006, ISBN 3-540-33438-6 [contents]
7th FLOPS 2004: Nara, Japan
- Yukiyoshi Kameyama, Peter J. Stuckey:
Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Lecture Notes in Computer Science 2998, Springer 2004, ISBN 3-540-21402-X [contents]
6th FLOPS 2002: Aizu, Japan
- Zhenjiang Hu, Mario Rodríguez-Artalejo:
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings. Lecture Notes in Computer Science 2441, Springer 2002, ISBN 3-540-44233-2 [contents]
5th FLOPS 2001: Tokyo, Japan
- Herbert Kuchen, Kazunori Ueda:
Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings. Lecture Notes in Computer Science 2024, Springer 2001, ISBN 3-540-41739-7 [contents]
4th FLOPS 1999: Tsukuba, Japan
- Aart Middeldorp, Taisuke Sato
:
Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings. Lecture Notes in Computer Science 1722, Springer 1999, ISBN 3-540-66677-X [contents]
3rd FLOPS 1998: Kyoto, Japan
- Masahiko Sato, Yoshihito Toyama:
Third Fuji International Symposium on Functional and Logic Programming, FLOPS 1998, Kyoto, Japan, Apil 2-4, 1998. World Scientific, Singapore 1998, ISBN 981-02-3384-1 [contents]
2nd FLOPS 1996: Shonan, Japan
- Tetsuo Ida, Atsushi Ohori, Masato Takeichi:
Functional and Logic Programming, Proceedings of the Second Fuji International Workshop, Shonan Village Center, Japan, 1-4 November 1996. World Scientific 1997, ISBN 981-02-2923-2 [contents]
1st FLOPS 1995: Fuji-Susono, Japan
- Masato Takeichi, Tetsuo Ida:
Functional and Logic Programming, Proceedings of the Fuji International Workshop, Susono, Japan, 17-19 July 1995. World Scientific 1995, ISBN 981-02-2437-0 [contents]
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.