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 automatic theorem"
"formal languages and automatic theory" » "formal languages and automation theory", "formal languages and automata theory", "formal languages and axiomatic 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.

• The words AND, OR and NOT may confuse the search; try adding quotes: "((\"formal languages and automatic theory\") OR (\"formal languages and automatic theorem\"))".
• Removing quotes may allow a broader search: (( formal languages and automatic theory ) OR ( formal languages and automatic theorem )).
• Adding a wildcard symbol may retrieve word variants: (("formal languages and automatic theory") OR ("formal languages and automatic theorem"))*.