Finding least common ancestors in directed acyclic graphs
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
Tractability and structural closures in attribute logic type signatures
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
Lowest common ancestors in trees and directed acyclic graphs
Journal of Algorithms
Towards including prosody in a text-to-speech system for modern standard Arabic
Computer Speech and Language
Lowest common ancestors in trees and directed acyclic graphs
Journal of Algorithms
A generalized-zero-preserving method for compact encoding of concept lattices
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Semi-partitioned horn clauses: a tractable logic of types
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Approximate bit vectors for fast unification
MOL'11 Proceedings of the 12th biennial conference on The mathematics of language
| Hi-index | 0.00 |