Contexts in Dynamic Predicate Logic
Journal of Logic, Language and Information
Linear languages with a nonassociative concatenation
Journal of Automata, Languages and Combinatorics
Type-Directed Partial Evaluation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Deductive Hardware Design: A Functional Approach
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Formal Synthesis at the Algorithmic Level
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Normalization and Partial Evaluation
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Decidability of Bounded Higher-Order Unification
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Termination of rewriting in the Calculus of Constructions
Journal of Functional Programming
Lazy query evaluation for Active XML
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
A Variadic Extension of Curry's Fixed-Point Combinator
Higher-Order and Symbolic Computation
A closer look at constraints as processes
Information Processing Letters
Precedence-inclusion patterns and relational learning
Theoretical Computer Science
Polymorphic higher-order recursive path orderings
Journal of the ACM (JACM)
Electronic Notes in Theoretical Computer Science (ENTCS)
A closer look at constraints as processes
Information Processing Letters
Decidability of bounded higher-order unification
Journal of Symbolic Computation
Higher-order orderings for normal rewriting
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Properties of Java Simple Closures
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 0.00 |