Pages that link to "Item:Q1166268"
From MaRDI portal
The following pages link to Fixed point theorems and semantics: A folk tale (Q1166268):
Displaying 31 items.
- Basic notions of universal algebra for language theory and graph grammars (Q671349) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Extremal solutions of inequations over lattices with applications to supervisory control (Q672379) (← links)
- Recursive queries and context-free graph grammars (Q753477) (← links)
- Transformational derivation of an improved alias analysis algorithm (Q815001) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
- Bi-inductive structural semantics (Q1012127) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- Using automata theory for characterizing the semantics of terminological cycles (Q1380409) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- The infimal prefix-closed and observable superlanguage of a given language (Q1814432) (← links)
- Continuously generated fixed points (Q1823004) (← links)
- A fixpoint theory for non-monotonic parallelism (Q1884887) (← links)
- Programmological aspects of the fixed point method (Q1905214) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Generating functions for probabilistic programs (Q2119118) (← links)
- Epistemic injustice in mathematics (Q2690220) (← links)
- Generalizing Inference Systems by Coaxioms (Q2988632) (← links)
- (Q3121528) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- (Q5014443) (← links)
- Monotone recursive types and recursive data representations in Cedille (Q5076393) (← links)
- Operations on fixpoint equation systems (Q6597955) (← links)