Experience with a functional-logic multi-agent architecture for medical problem solving
Knowledge media in healthcare
Solving equations with sequence variables and sequence functions
Journal of Symbolic Computation
Context Sequence Matching for XML
Electronic Notes in Theoretical Computer Science (ENTCS)
Encoding temporal logics in executable Z: a case study for the ZETA system
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Sequence unification through currying
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Matching with regular constraints
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
| Hi-index | 0.00 |