14 results on '"Minamide, Yasuhiko"'
Search Results
2. Context-Free Grammars with Lookahead
3. Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata
4. Synchronized Recursive Timed Automata
5. Weighted Pushdown Systems with Indexed Weight Domains
6. Pushdown Systems with Stack Manipulation
7. Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing
8. A Translation from the HTML DTD into a Regular Hedge Grammar
9. Verified Decision Procedures on Context-Free Grammars
10. Complexity Results on Balanced Context-Free Languages
11. XML Validation for Context-Free Grammars
12. Selective Tail Call Elimination
13. Executing Verified Compiler Specification
14. Runtime Behavior of Conversion Interpretation of Subtyping
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.