Pages that link to "Item:Q2474055"
From MaRDI portal
The following pages link to Third-order Idealized Algol with iteration is decidable (Q2474055):
Displaying 6 items.
- An approach to deciding the observational equivalence of Algol-like languages (Q1886322) (← links)
- Leafy automata for higher-order concurrency (Q2233404) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- The impact of higher-order state and control effects on local relational reasoning (Q3165524) (← links)
- Foundations of Software Science and Computational Structures (Q5705875) (← links)
- Automata, Languages and Programming (Q5716839) (← links)