AbstractThis volume contains selected papers presented at the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001). The workshop was held in Kiel, Germany, during September 13-15, 2001. It is the combination of two workshops of a successful series of annual workshops on declarative programming. The international workshops on functional and logic programming aimed at bringing together researchers interested in functional programming, logic programming, as well as their integration. Previous workshops have been held in Benicassim (Spain), Grenoble (France), Bad Honnef (Germany). The workshops on (constraint) logic programming are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring togethe...
AbstractThis volume contains the Proceedings of the fifth EXPRESS workshop. The workshop was held in...
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic...
AbstractThis volume contains the Proceedings of EXPRESS'99, the sixth International Workshop on Expr...
AbstractThis volume contains selected papers presented at the International Workshop on Functional a...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
This volume contains the proceedings of the 28th International Workshop on Functional and (Constrain...
AbstractThis issue contains the Proceedings of the Third International Workshop on Logical Framework...
Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...
AbstractThis volume contains the proceedings of the Workshop on Verification of Logic Programs, orga...
AbstractThe characteristics of logic programming languages both necessitate and motivate innovative ...
AbstractOne of the main areas of research in logic programming is the design and implementation of s...
AbstractAbstractCOTIC 98 was the second workshop organized in the context of the ESPRIT Working Grou...
AbstractThis volume contains the Proceedings of the Eighth International Workshop on Expressiveness ...
This report contains the papers presented at the Kiel Declarative Programming Days 2013, held in Kie...
AbstractThe field of linear logic has developed very rapidly during the last ten years. Linear logic...
AbstractThis volume contains the Proceedings of the fifth EXPRESS workshop. The workshop was held in...
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic...
AbstractThis volume contains the Proceedings of EXPRESS'99, the sixth International Workshop on Expr...
AbstractThis volume contains selected papers presented at the International Workshop on Functional a...
This volume contains the refereed and accepted papers and system descriptions presented at the 19th ...
This volume contains the proceedings of the 28th International Workshop on Functional and (Constrain...
AbstractThis issue contains the Proceedings of the Third International Workshop on Logical Framework...
Since the first conference held in Marseille in 1982, ICLP has been the premier international event ...
AbstractThis volume contains the proceedings of the Workshop on Verification of Logic Programs, orga...
AbstractThe characteristics of logic programming languages both necessitate and motivate innovative ...
AbstractOne of the main areas of research in logic programming is the design and implementation of s...
AbstractAbstractCOTIC 98 was the second workshop organized in the context of the ESPRIT Working Grou...
AbstractThis volume contains the Proceedings of the Eighth International Workshop on Expressiveness ...
This report contains the papers presented at the Kiel Declarative Programming Days 2013, held in Kie...
AbstractThe field of linear logic has developed very rapidly during the last ten years. Linear logic...
AbstractThis volume contains the Proceedings of the fifth EXPRESS workshop. The workshop was held in...
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic...
AbstractThis volume contains the Proceedings of EXPRESS'99, the sixth International Workshop on Expr...