Search results
From MaRDI portal
- Problems II — The Algebra of Energy Functions 2017-08-25 Paper Equational axioms associated with finite automata for fixed point operations in cartesian...10 bytes (17 words) - 13:45, 8 December 2023
- logics; alternating-time temporal logic; graded \(\mu\)-calculus; Kozen/Park axioms Mathematics Subject Classification ID 68Q25: Analysis of algorithms...15 bytes (91 words) - 16:02, 2 May 2024
