Long division

Known as: Division tableaux, Tableau (long division), Division tableau 
In arithmetic, long division is a standard division algorithm suitable for dividing multidigit numbers that is simple enough to perform by hand. It… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Exercise 4.1. Transform the following concepts into negation normal form: (a) ¬(A u ∀r.B) (b) ¬∀r.∃s.(¬B t ∃r.A) (c) ¬((¬A u ∃r… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We identify the computational complexity of (finite model) reasoning in the sublanguages of the description logic SROIQ—the logic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Conditional functional dependencies (CFDs) have recently been proposed as a useful integrity constraint to summarize data… (More)
  • table 2
  • table 3
  • table 4
  • table 5
  • figure 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
In this paper we present fuzzyDL, an expressive fuzzy description logic reasoner.We present its salient features, including some… (More)
  • figure 1
  • table I
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Model checking is an automated technique for checking that a system satisfies a set of required properties. With explicit-state… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
This paper introduces a variant of clausal normal form table aux that we call “hyper tableaux”. Hyper tableaux keep many desirabl… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1994
Highly Cited
1994
In this paper techniques are developed and compared that increase the inferential power of tableau systems for classical first… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
The modal mu-calculus, due to Pratt and Kozen [ 12,8], is a natural extension of dynamic logic. It is also one method of… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
© Centre d’analyse et de mathématiques sociales de l’EHESS, 1986, tous droits réservés. L’accès aux archives de la revue « Math… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1982
Highly Cited
1982
A stackleberg game in which a first player can affect the resources available to a second player is defined. For given first move… (More)
  • table 1
  • figure 2
Is this relevant?