Declarative control architecture
Communications of the ACM
Finite representation of infinite query answers
ACM Transactions on Database Systems (TODS)
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Partial evaluation of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Observational proofs by rewriting
Theoretical Computer Science
Delegation logic: A logic-based approach to distributed authorization
ACM Transactions on Information and System Security (TISSEC)
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Removing Redundant Arguments of Functions
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Proof Techniques for Cryptographic Protocols
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Algebraic Support for Transformational Hardware Allocation
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Formal Techniques for Hardware Allocation
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Removing redundant arguments automatically
Theory and Practice of Logic Programming
Expander2: Program Verification Between Interaction and Automation
Electronic Notes in Theoretical Computer Science (ENTCS)
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
Fuzzy Sets and Systems
Abstract diagnosis of functional programs
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Correction of functional logic programs
ESOP'03 Proceedings of the 12th European conference on Programming
Multi-paradigm declarative languages
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Mechanizing inductive reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Transformation and debugging of functional logic programs
A 25-year perspective on logic programming
An access control language based on term rewriting and description logic
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Reasoning support for flexible task resourcing
Expert Systems with Applications: An International Journal
The RuleML family of web rule languages
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Narrowing Strategies For Arbitrary Canonical Rewrite Systems
Fundamenta Informaticae
| Hi-index | 0.02 |