Well-formed formula

Known as: Layman Allen, Well-formed, Formula (logics) 
In mathematical logic, a well-formed formula, abbreviated wff, often simply formula, is a finite sequence of symbols from a given alphabet that is… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
We introduce a large scale MAchine Reading COmprehension dataset, which we name MS MARCO. The dataset comprises of 1,010,916… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2016
Highly Cited
2016
Nearly all previous work in neural machine translation (NMT) has used quite restricted vocabularies, perhaps with a subsequent… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 7
  • figure 11
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Horizontal gene transfer (HGT) is considered a strong evolutionary force shaping the content of microbial genomes in a… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
Is this relevant?
2004
2004
Reality, both material and conceptual, functions as a complex network of continuous adaptive morphological formation. The… (More)
  • table 1
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Deterministic dependency parsing is a robust and efficient approach to syntactic parsing of unrestricted natural language text… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The recent major revision of the UML has introduced significant changes and additions. In particular, the metamodel portion… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Coherent texts are not just simple sequences of clauses and sentences, but rather complex artifacts that have highly elaborate… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
A publicly veriiable secret sharing (PVSS) scheme is a ver-iiable secret sharing scheme with the property that the validity of… (More)
Is this relevant?