Constraints in computational logics
Explicit versus implicit representations of subsets of the Herbrand universe
Theoretical Computer Science
Negation Elimination from Simple Equational Formulae
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
| Hi-index | 0.00 |