Skip to search formSkip to main contentSkip to account menu

Formal language

Known as: Language (disambiguation), Formal linguistic analysis, Formal expression 
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols that may be constrained by rules that are… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
AC (complexity)Adaptive grammarAttempto Controlled EnglishBerman–Hartmanis conjecture

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Ontology Matching with CIDER: Evaluation Report for the OAEI 2008
Ontology matching, the task of determining relations that hold among terms of two different ontologies, is a key issue in the… 
Review
2007
Review
2007
Implementing E-Learning components with adult English language learners: Vital factors and lessons learned
The growing use of both computers and the Internet in adult English language classrooms has widespread implications for English… 
Highly Cited
2005
Highly Cited
2005
Efficient Secure Group Signatures with Dynamic Joins and Keeping Anonymity Against Group Managers
The demonstration of an efficient construction proven secure in a formal model that captures all intuitive security properties of… 
Highly Cited
2005
Highly Cited
2005
The Validity of Administering Large-Scale Content Assessments to English Language Learners: An Investigation From Three Perspectives
The findings and opinions expressed in this report do not reflect the positions or policies of the iii ACKNOWLEDGMENTS First, we… 
Highly Cited
2000
Highly Cited
2000
Interpreting indefinites: An experimental study of children's language comprehension
Highly Cited
2000
Highly Cited
2000
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
Deadlock avoidance in sequential resource allocation systems is a well-defined problem in discrete event system literature, as it… 
Highly Cited
2000
Highly Cited
2000
Specification of Symbols and Implementation of Their Constraints in JKogge
There are numerous CASE-tools and editing tools for visual languages. Since most of them are restricted to a specific method or… 
Highly Cited
1994
Highly Cited
1994
Composing Concurrent Objects
Adopting the object-oriented paradigm for the development of large and complex software systems offers several advantages, of… 
Highly Cited
1993
Highly Cited
1993
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems
Highly Cited
1977
Highly Cited
1977
Inductive learning of relational productions
Relational productions provide a mathematically tractable formal model for operators in discrete systems. Two paradigms for the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)