Pages that link to "Item:Q5465854"
From MaRDI portal
The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465854):
Displayed 12 items.
- On the almighty wand (Q418137) (← links)
- Expressiveness and complexity of graph logic (Q870359) (← links)
- Adjunct elimination in context logic for trees (Q964499) (← links)
- Adjunct Elimination in Context Logic for Trees (Q3498442) (← links)
- On the Almighty Wand (Q3540188) (← links)
- Separating Graph Logic from MSO (Q3617721) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- (Q5090983) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)