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

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 language and automated theory")).
• Removing quotes may allow a broader search: (( formal languages and automatic theorem ) or ( formal language and automated theory )).
• Adding a wildcard symbol may retrieve word variants: (("formal languages and automatic theorem") or ("formal language and automated theory"))*.