Structural Subsumption for ALN
From 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},
}