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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Ontology matching, the task of determining relations that hold among terms of two different ontologies, is a key issue in the… 
Highly Cited
2008
Highly Cited
2008
Automatic word alignment is a key step in training statistical machine translation systems. Despite much recent work on word… 
Highly Cited
2007
Highly Cited
2007
Transliteration is the task of converting a word from one alphabetic script to another. We present a novel, substring-based… 
Highly Cited
2006
Highly Cited
2006
Complex interactions between Web Services involve coordinated sequences of operations. Clients of the provided services must be… 
Highly Cited
2005
Highly Cited
2005
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 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
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
There are numerous CASE-tools and editing tools for visual languages. Since most of them are restricted to a specific method or… 
Highly Cited
2000
Highly Cited
2000
A composition language based on a formal semantic foundation will facilitate precise specication of glue abstractions and…