How to replace failure by a list of successes
Proc. of a conference on Functional programming languages and computer architecture
Logic programming: functions, relations, and equations
Logic programming: functions, relations, and equations
Introduction to combinators and &lgr;-calculus
Introduction to combinators and &lgr;-calculus
A technique for doing lazy evaluations in logic
Journal of Logic Programming
Negation and control in Prolog
Negation and control in Prolog
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Strategy-controlled reduction and narrowing
on Rewriting techniques and applications
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Simplifying conditional term rewriting systems: Unification, termination and confluence
Journal of Symbolic Computation
Theoretical Computer Science - International Joint Conference on Theory and Practice of Software Development, P
A completeness result for E-unification algorithms based on conditional narrowing
Lecture notes in computer science on Foundations of logic and functional programming
Enumerating outer narrowing derivationsfor constructor-based term rewriting systems
Journal of Symbolic Computation
Journal of Symbolic Computation
Models and equality for logical programming
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Higher-order unification revisited: Complete sets of transformations
Journal of Symbolic Computation
Foundations of Equational Logic Programming
Foundations of Equational Logic Programming
On completeness of narrowing strategies
Theoretical Computer Science - Special issue on the Thirteenth Colleque sur les Arbres en Alge`bre et en Programmation Nancy, March 1988
A rationale for conditional equational programming
Theoretical Computer Science - Special issue on the international conference on fifth generation computer systems. Tokyo, 1988
A new deductive approach to planning
New Generation Computing
Kernel-LEAF: a logic plus functional language
Journal of Computer and System Sciences
The gamma model and its discipline of programming
Science of Computer Programming
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
A proof theory for general unification
A proof theory for general unification
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Logic programming with functions and predicates: the language Babel
Journal of Logic Programming
Nondeterministic algebraic specifications and nonconfluent term rewriting
Journal of Logic Programming
Programming by multiset transformation
Communications of the ACM
Implementation of narrowing: the Prolog-based approach
Logic programming languages
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Handbook of logic in computer science (vol. 2)
A model-theoretic reconstruction of the operational semantics of logic programs
Information and Computation
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Go¨del programming language
The Go¨del programming language
A unified computation model for functional and logic programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A lazy narrowing calculus for functional logic programming with algebraic polymorphic types
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Term rewriting and all that
A deterministic lazy narrowing calculus
Journal of Symbolic Computation
A survey of visual language specification and recognition
Visual language theory
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
Journal of the ACM (JACM)
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Proving termination with multiset orderings
Communications of the ACM
Solving Higher-Order Equations: From Logic to Programming
Solving Higher-Order Equations: From Logic to Programming
Nondeterminism in Algebraic Specification and Algebraic Programs
Nondeterminism in Algebraic Specification and Algebraic Programs
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Rewriting Logic for Declarative Programming
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Higher-Order Logic Programming
Proceedings of the Third International Conference on Logic Programming
A Functional and Logic Language with Polymorphic Types (Extended Abstract)
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Semantics and Types in Functional Logic Programming
FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
On Reducing the Search Space of Higher-Order Lazy Narrowing
FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
A Functional-Logic Perspective on Parsing
FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
PLILPS '95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs
A Demand Driven Computation Strategy for Lazy Narrowing
PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
Combining Layz Narrowing with Disequality Constraints
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Combining Lazy Narrowing and Simplification
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Embedding Multiset Constraints into a Lazy Functional Logic Language
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract)
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Compiling Multi-Paradigm Declarative Programs into Prolog
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Higher-Order Narrowing with Definitional Trees
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
Higher Order Conditional Rewriting and Narrowing
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Proceedings of the Third International Conference on Algebraic and Logic Programming
A General Scheme for Constraint Functional Logic Programming
Proceedings of the Third International Conference on Algebraic and Logic Programming
Proceedings of the Third International Conference on Algebraic and Logic Programming
Optimal Non-deterministic Functional Logic Computations
ALP '97-HOA '97 Proceedings of the 6th International Joint Conference on Algebraic and Logic Programming
ALP '97-HOA '97 Proceedings of the 6th International Joint Conference on Algebraic and Logic Programming
Denotational Versus Declarative Semantics for Functional Programming
CSL '91 Proceedings of the 5th Workshop on Computer Science Logic
On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming
CSL '92 Selected Papers from the Workshop on Computer Science Logic
Canonical Forms and Unification
Proceedings of the 5th Conference on Automated Deduction
Functional Plus Logic Programming with Built-In and Symbolic Constraints
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Efficient Translation of Lazy Functional Logic Programs into Prolog
LOPSTR '95 Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformation
Declarative Programming in Escher
Declarative Programming in Escher
Leftmost outside-in narrowing calculi
Journal of Functional Programming
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming
A declarative specification and semantics for visual languages
Journal of Visual Languages and Computing
Qualified Computations in Functional Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
Functional answer set programming
Theory and Practice of Logic Programming
Well-typed narrowing with extra variables in functional-logic programming
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Transparent function types: clearing up opacity
Proceedings of the 14th symposium on Principles and practice of declarative programming
Hi-index | 0.00 |