Perhaps you should try some spelling variations:
"formal languages and automatic theorem" » "formal languages and automated theorem", "formal language and automatic theorem"
"formal languages and automata theory" » "formal language and automata theory", "formal languages and automated theory"

Try widening your search to All Fields.

You may be able to get more results by adjusting your search query.

• If you are trying to use Boolean operators, they must be ALL CAPS: (("formal languages and automatic theorem") OR ("formal languages and automata theory")).
• Removing quotes may allow a broader search: (( formal languages and automatic theorem ) or ( formal languages and automata theory )).
• Adding a wildcard symbol may retrieve word variants: (("formal languages and automatic theorem") or ("formal languages and automata theory"))*.