Add to ORKGSIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
. Many recent proposals for the integration of functional and logic programming use conditional term...
Contribution a : Proceedings workshop on Boolean functions, propostional logic and AI systems, Ulm (...
Needed narrowing is a complete operational principle for modern declarative languages which integrat...
We present a new evaluation strategy for functional logic programs described by weakly orthogonal co...
AbstractRecent advances in the foundations and the development of functional logic programming langu...
Abstract. Recent advances in the foundations and the development of functional logic programming lan...
We define a transformation from a left-linear constructor-based conditional rewrite system into an o...
We extend the directed narrowing to the conditional framework, and prove soundness and completeness ...
AbstractConditional equations provide a paradigm of computation that combines the clean syntax and s...
Wedevelop an effective model for higher-order functional-logic programming by refining higher-order...
Narrowing is a universal unification procedure for equational theories given by a canonical term rew...
AbstractRecent advances in the foundations and the implementations of functional logic programming l...
A constructor-based rewriting logic (CRWL) has been recently proposed as an appropriate basis for fu...
The operational semantics of many proposals for the integration of functional and logic programming ...
1 Introduction The interest in integrating functional and logic programming has grown over the last ...
. Many recent proposals for the integration of functional and logic programming use conditional term...
Contribution a : Proceedings workshop on Boolean functions, propostional logic and AI systems, Ulm (...
Needed narrowing is a complete operational principle for modern declarative languages which integrat...
We present a new evaluation strategy for functional logic programs described by weakly orthogonal co...
AbstractRecent advances in the foundations and the development of functional logic programming langu...
Abstract. Recent advances in the foundations and the development of functional logic programming lan...
We define a transformation from a left-linear constructor-based conditional rewrite system into an o...
We extend the directed narrowing to the conditional framework, and prove soundness and completeness ...
AbstractConditional equations provide a paradigm of computation that combines the clean syntax and s...
Wedevelop an effective model for higher-order functional-logic programming by refining higher-order...
Narrowing is a universal unification procedure for equational theories given by a canonical term rew...
AbstractRecent advances in the foundations and the implementations of functional logic programming l...
A constructor-based rewriting logic (CRWL) has been recently proposed as an appropriate basis for fu...
The operational semantics of many proposals for the integration of functional and logic programming ...
1 Introduction The interest in integrating functional and logic programming has grown over the last ...
. Many recent proposals for the integration of functional and logic programming use conditional term...
Contribution a : Proceedings workshop on Boolean functions, propostional logic and AI systems, Ulm (...
Needed narrowing is a complete operational principle for modern declarative languages which integrat...