Matching logic explained
Xiaohong Chen, Dorel Lucanu, Grigore Roşu
Topics & Concepts
Computer scienceMatching (statistics)Modular designProgramming languageSeparation logicDynamic logic (digital electronics)Theoretical computer scienceLinear temporal logicTemporal logic of actionsCoinductionMathematicsMathematical proofInterval temporal logicTransistorGeometryStatisticsQuantum mechanicsVoltagePhysicsLogic, programming, and type systemsFormal Methods in VerificationParallel Computing and Optimization Techniques