Publication | Closed Access

A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).

Applied LogicEngineeringAutomated ReasoningFormal MethodsObject-oriented ProgrammingComputer ScienceLogic ProgrammingO-logic Revisited