Pages that link to "Item:Q5145269"
From MaRDI portal
The following pages link to Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Q5145269):
Displaying 12 items.
- Distribution-based objectives for Markov Decision Processes (Q5145274) (← links)
- Computability Beyond Church-Turing via Choice Sequences (Q5145297) (← links)
- Strong Sums in Focused Logic (Q5145299) (← links)
- Logics for Word Transductions with Synthesis (Q5145302) (← links)
- Logical paradoxes in quantum computation (Q5145307) (← links)
- ReLoC (Q5145319) (← links)
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs (Q5145320) (← links)
- Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics (Q5145333) (← links)
- Weighted model counting beyond two-variable logic (Q5145338) (← links)
- Ribbon Tensorial Logic (Q5145345) (← links)
- LMSO (Q5145362) (← links)
- A van Benthem Theorem for Fuzzy Modal Logic (Q5145370) (← links)