Perhaps you should try some spelling variations:
"formal languages and automated theory" » "formal languages and automated theorem", "formal languages and automatic theorem", "formal languages and automated factory"
"formal language and automata theory" » "formal language and automatic 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 automated theory") OR ("formal language and automata theory")).
• Removing quotes may allow a broader search: (( formal languages and automated theory ) or ( formal language and automata theory )).
• Adding a wildcard symbol may retrieve word variants: (("formal languages and automated theory") or ("formal language and automata theory"))*.