Publication | Closed Access

Basic transformation operations which preserve computed answer substitutions of logic programs

EngineeringAutomated ReasoningAnswer Set ProgrammingProgram AnalysisFormal MethodsLogic ProgramsProgram SynthesisProgram TransformationBasic Transformation OperationsComputer ScienceEquational LogicSoftware AnalysisLogic ProgrammingFormal Verification