Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

International Symposium on Functional and Logic Programming

King, Andy

Publication date

February 2016

DOI

10.1007/978-3-319-29604-3

Publisher

Springer Science and Business Media LLC

Abstract

Proceedings for the Thirteenth International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, March 4-6, 2016

Extracted data

Related items

Proceedings of the 13th International Conference on Location-Based Services

January 2016

This document contains the online proceedings of the 13th International Conference on Location-Based...

Proceedings of the 26. international symposium on multiple-valued logic

The Inst. of Electrical and Electronics Engineers, Inc. - IEEE, Psicataway, NJ (United States)

January 1996

IEEE Computer Society Technical Committee on Multiple-Value LogicCentro de Informacion y Documentaci...

Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

Ganty, Pierre
Della Monica, Dario

September 2022

This volume contains the proceedings of the 13th International Symposium on Games, Automata, Logic a...

Functional and logic programming

Schrijvers, Tom
Thiemann, Peter

January 2012

proceedings of the 11th International symposium on Functional and Logic Programming (FLOPS 2012), he...

Functional and Constraint Logic Programming. 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

M. Hanus, C. Sacerdoti Coen

January 2021

This volume contains the proceedings of the 28th International Workshop on Functional and (Constrain...

Inductive Logic Programming: Proceedings of the 24th International Conference on Inductive Logic Programming

Davis, Jesse
Ramon, Jan

January 2016

International audienceProceedings of the 24th International Conference on Inductive Logic Programmin...

Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, 29th International Conference on Logic Programming

Evelina Lamma
Terrance Swift

January 2013

Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...

Logic programming /

International conference on logic programming10thJune 21-25, 1993Budapest, Hungary
Warren, David Scott,

Proceedings of the Tenth international conference on..., held in Budapest, Hungary, June 21-25, 199

International Symposium on Logical Foundations of Computer Science

Artemov, Sergei
Nerode, Anil

January 2020

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations...

Proceedings 38th International Conference on Logic Programming

Lierler, Yuliya
Morales, Jose F.
Dodaro, Carmine
Dahl, Veronica
Gebser, Martin
Tekle, Tuncay

August 2022

ICLP is the premier international event for presenting research in logic programming. Contributions ...

Preface Volume 64

Hanus, Michael

September 2002

AbstractThis volume contains selected papers presented at the International Workshop on Functional a...

Proceedings of the 12th International Workshop on Implementation of Functional Languages

Mohnen, M.
Koopman, P. (eds.)
Technische Hochschule Aachen (Germany). Fachgruppe Informatik

January 2000

SIGLEAvailable from TIB Hannover: RO 6925(2000,7) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

SOCREAL 2016 : Proceedings of the 4th International Workshop on philosophy and Logic of Social Reality [Full version]

January 2016

SOCREAL 2016 : Proceedingsof the 4th International Workshop on philosophy and Logic of Social Realit...

Preface [Proceedings 35th International Conference on Logic Programming (Technical Communications)]

September 2019

Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Ahmed, Amal

April 2020

artificial intelligence; computer architecture; computer software selection and evaluation; distr...

Proceedings of the 13th International Conference on Location-Based Services

January 2016

This document contains the online proceedings of the 13th International Conference on Location-Based...

Proceedings of the 26. international symposium on multiple-valued logic

The Inst. of Electrical and Electronics Engineers, Inc. - IEEE, Psicataway, NJ (United States)

January 1996

IEEE Computer Society Technical Committee on Multiple-Value LogicCentro de Informacion y Documentaci...

Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

Ganty, Pierre
Della Monica, Dario

September 2022

This volume contains the proceedings of the 13th International Symposium on Games, Automata, Logic a...

Functional and logic programming

Schrijvers, Tom
Thiemann, Peter

January 2012

proceedings of the 11th International symposium on Functional and Logic Programming (FLOPS 2012), he...

Functional and Constraint Logic Programming. 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

M. Hanus, C. Sacerdoti Coen

January 2021

This volume contains the proceedings of the 28th International Workshop on Functional and (Constrain...

Inductive Logic Programming: Proceedings of the 24th International Conference on Inductive Logic Programming

Davis, Jesse
Ramon, Jan

January 2016

International audienceProceedings of the 24th International Conference on Inductive Logic Programmin...

Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, 29th International Conference on Logic Programming

Evelina Lamma
Terrance Swift

January 2013

Special issue of Theory and Practice of Logic Programming, vol. 13, Special Issue 4-5, collecting s...

Logic programming /

International conference on logic programming10thJune 21-25, 1993Budapest, Hungary
Warren, David Scott,

Proceedings of the Tenth international conference on..., held in Budapest, Hungary, June 21-25, 199

International Symposium on Logical Foundations of Computer Science

Artemov, Sergei
Nerode, Anil

January 2020

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations...

Proceedings 38th International Conference on Logic Programming

Lierler, Yuliya
Morales, Jose F.
Dodaro, Carmine
Dahl, Veronica
Gebser, Martin
Tekle, Tuncay

August 2022

ICLP is the premier international event for presenting research in logic programming. Contributions ...

Preface Volume 64

Hanus, Michael

September 2002

AbstractThis volume contains selected papers presented at the International Workshop on Functional a...

Proceedings of the 12th International Workshop on Implementation of Functional Languages

Mohnen, M.
Koopman, P. (eds.)
Technische Hochschule Aachen (Germany). Fachgruppe Informatik

January 2000

SIGLEAvailable from TIB Hannover: RO 6925(2000,7) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

SOCREAL 2016 : Proceedings of the 4th International Workshop on philosophy and Logic of Social Reality [Full version]

January 2016

SOCREAL 2016 : Proceedingsof the 4th International Workshop on philosophy and Logic of Social Realit...

Preface [Proceedings 35th International Conference on Logic Programming (Technical Communications)]

September 2019

Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Ahmed, Amal

April 2020

artificial intelligence; computer architecture; computer software selection and evaluation; distr...

Proceedings of the 13th International Conference on Location-Based Services

January 2016

This document contains the online proceedings of the 13th International Conference on Location-Based...

Proceedings of the 26. international symposium on multiple-valued logic

The Inst. of Electrical and Electronics Engineers, Inc. - IEEE, Psicataway, NJ (United States)

January 1996

IEEE Computer Society Technical Committee on Multiple-Value LogicCentro de Informacion y Documentaci...

Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

Ganty, Pierre
Della Monica, Dario

September 2022

This volume contains the proceedings of the 13th International Symposium on Games, Automata, Logic a...