Most Popular Books
- Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science)
- Techniques for Searching, Parsing, and Matching
- Techniques for Searching, Parsing, and Matching
- Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques
