A Coalgebraic Approach to Linear-Time Logics

From MaRDI portal

Revision as of 02:08, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5410688

Jump to:navigation, search

DOI10.1007/978-3-642-54830-7_28zbMath1405.68192OpenAlexW2118222259MaRDI QIDQ5410688

Corina Cîrstea

Publication date: 16 April 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54830-7_28

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Temporal logic (03B44) Categories of machines, automata (18B20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (7)

Generic weakest precondition semantics from monads enriched with order ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Unnamed Item ⋮ Steps and traces ⋮ Simplified Coalgebraic Trace Equivalence

This page was built for publication: A Coalgebraic Approach to Linear-Time Logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5410688&oldid=20152738"