POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
IEEE Transactions on Software Engineering
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
EQL: The Language and its Implementation
IEEE Transactions on Software Engineering
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Journal of Symbolic Computation
Search direction by goal failure in goal-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
Actors as a special case of concurrent constraint (logic) programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A new paradigm for parallel and distributed rule-processing
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Nondeterminism and unification in LogScheme: integrating logic and functional programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract semantics for a higher-order functional language with logic variables
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-order equational logic programming
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functional and constraint logic programming
Constraints in computational logics
A tuple-oriented algorithm for deduction in a fuzzy relational database
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Intelligent information systems
A lazy narrowing calculus for declarative constraint programming
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
An environment model for the integration of logic and functional programming
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Hi-index | 0.00 |