Pages that link to "Item:Q5431297"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2003 (Q5431297):
Displaying 7 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- Regular sets over extended tree structures (Q764339) (← links)
- An undecidable property of context-free linear orders (Q1944046) (← links)
- Rabin's theorem in the concurrency setting: a conjecture (Q2253187) (← links)
- Arithmetics properties of substitutions and infinite automata (Q2372784) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary R (Q3185766) (← links)
