Structural Subsumption for ALN
Aus International Center for Computational Logic
Structural Subsumption for ALN
R. MolitorR. Molitor
R. Molitor
Structural Subsumption for ALN
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-03, 1998. LTCS-Report
Structural Subsumption for ALN
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-03, 1998. LTCS-Report
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ Molitor-LTCS-98-03,
author = {R. {Molitor}},
institution = {LuFG Theoretical Computer Science, RWTH Aachen, Germany},
number = {LTCS-98-03},
title = {Structural {S}ubsumption for {$\cal A\!L\!N$}},
type = {LTCS-Report},
year = {1998},
}