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 automated theory"
"formal languages and automatic theory" » "formal languages and automatic theorem", "formal languages and automation theory", "formal languages and axiomatic theory", "formal language and automatic theory"
"formal languages and automata theory" » "formal language and automata 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 languages and automata theory") OR ("formal languages and automatic theory")))).
• The words AND, OR and NOT may confuse the search; try adding quotes: "((\"formal languages and automated theory\") or (((\"formal languages and automata theory\") OR (\"formal languages and automatic theory\"))))".
• Removing quotes may allow a broader search: (( formal languages and automated theory ) or ((( formal languages and automata theory ) OR ( formal languages and automatic theory )))).
• Adding a wildcard symbol may retrieve word variants: (("formal languages and automated theory") or ((("formal languages and automata theory") OR ("formal languages and automatic theory"))))*.