Results 291 to 300 of about 2,298,074 (328)
Some of the next articles are maybe not open access.

Related searches:

Elimination graphs

ACM Transactions on Algorithms, 2009
In this article we study graphs with inductive neighborhood properties. Let P be a graph property, a graph G = ( V, E ) with n vertices is said to have an inductive neighborhood property with respect to P if there is an ...
Yuli Ye, Allan Borodin
openaire   +1 more source

Eliminating Dummy Elimination

2000
This paper is concerned with methods that automatically prove termination of term rewrite systems. The aim of dummy elimination, a method to prove termination introduced by Ferreira and Zantema, is to transform a given rewrite system into a rewrite system whose termination is easier to prove.
Jürgen Giesl, Aart Middeldorp
openaire   +1 more source

Eliminating Spacetime

Erkenntnis, 2021
A number of approaches to quantum gravity (QG) seem to imply that spacetime does not exist. Philosophers are quick to point out, however, that the loss of spacetime should not be regarded as total. Rather, we should interpret these approaches as ones that threaten the fundamentality but not the existence of spacetime.
openaire   +3 more sources

Measles Elimination

Pediatrics, 1986
To the Editor.— The Public Health Service deserves enormous credit for its campaign to eliminate measles in the United States. The recent review1 attests to this fact. I must, however, disagree with the conclusion of the article. The glaring omission is that measles is again on the increase.
openaire   +2 more sources

Eliminating Models During Model Elimination

2021
We investigate the integration of SAT technology into clausal connection-tableau systems for classical first-order logic. Clauses present in tableaux during backtracking search are heuristically grounded and added to an incremental SAT solver. If the solver reports an unsatisfiable set of ground clauses at any point, search may be halted and a proof ...
Michael Rawson, Giles Reger
openaire   +1 more source

Home - About - Disclaimer - Privacy