Concepedia

The Ant-Lion Paradigm for Strong Normalization

Corrado Böhm, Benedetto Intrigila

Information and Computation · 1994 · 13 citations · 0 references

Concepts

Artificial IntelligenceText NormalizationEngineeringData ScienceAutomated ReasoningStrong NormalizationFormal MethodsData NormalizationComputer ScienceAnt Colony Optimization