Back to Search
Start Over
Monoid-based approach to the inclusion problem on superdeterministic pushdown automata
- Source :
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9840:393-405
- Publication Year :
- 2016
Details
- Language :
- English
- Volume :
- 9840
- Database :
- OpenAIRE
- Journal :
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- Accession number :
- edsair.jairo.........72acb75812034525d9346c31bc9bde3f