Search

Your search keyword '"Minamide, Yasuhiko"' showing total 14 results

Search Constraints

Start Over You searched for: Author "Minamide, Yasuhiko" Remove constraint Author: "Minamide, Yasuhiko" Publication Type eBooks Remove constraint Publication Type: eBooks
14 results on '"Minamide, Yasuhiko"'

Search Results

1. Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL

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

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

Catalog

Books, media, physical & digital resources