View of First-order logic for safety verification of hedge rewriting systems

Return to Article Details First-order logic for safety verification of hedge rewriting systems Download Download PDF