Atomic sentence

Known as: Atomic proposition, Atomic propositions, Molecular sentence 
In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Data-flow errors in BPMN 2.0 process models, such as missing or unused data, lead to undesired process executions. In particular… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
Recently, there was defined a fragment of LTL (containing fairness properties among other interesting formulae) whose validity… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2012
Highly Cited
2012
We address the problem of automatically synthesizing digital designs from lineartime specifications. We consider various classes… (More)
  • table 1
  • figure 1
Is this relevant?
Highly Cited
2011
Highly Cited
2011
A caller must satisfy the callee’s precondition—that is, reach a state in which the callee may be called. Preconditions describe… (More)
  • figure 2
  • figure 5
  • figure 7
  • figure 6
  • table 1
Is this relevant?
2011
2011
Declarative workflow languages are easy for humans to understand and use for specifications, but difficult for computers to check… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
Is this relevant?
2010
2010
By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2003
2003
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
ion can be realised on symbolic representations. We provide the theoretical background to show that symbolic parallel composition… (More)
Is this relevant?
2003
2003
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in… (More)
  • figure 1
Is this relevant?
2001
2001
G I L L E S D O W E K and T H E R E S E H A R D I N and C L A U D E K I R C H N E R 1 INRIA-Rocquencourt, B.P. 105, 78153 Le… (More)
Is this relevant?