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

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 languages and automatic theorem"))) OR ("formal languages and automated theorem"))*.
• The words AND, OR and NOT may confuse the search; try adding quotes: "((((\"formal languages and automated theory\") OR (\"formal languages and automatic theorem\"))) or (\"formal languages and automated theorem\"))*".
• Removing quotes may allow a broader search: (((( formal languages and automated theory ) OR ( formal languages and automatic theorem ))) or ( formal languages and automated theorem ))*.