Results 291 to 298 of about 45,723 (298)

New criterion for existence and completeness of wave operators and applications to scattering by unbounded obstacles

Communications in Partial Differential Equations, 1981
Ricardo Weder
exaly  

A critical pair criterion for completion modulo a congruence

1989
Leo Bachmair, Nachum Dershowitz
openaire   +1 more source

A criterion for the decidability of the A-completeness problem for definite automata

Doklady Mathematics, 2011
exaly  

Rosenberg’s Completeness Criterion for Pk

2006
openaire   +1 more source

Implicitly Maximal Classes and Implicit Completeness Criterion in the Three-Valued Logic

Moscow University Mathematics Bulletin, 2018
exaly  

A Completeness Criterion for Pk(l).

J. Inf. Process. Cybern., 1992
openaire  

Stationary completeness criterion for wave operators

Mathematische Nachrichten, 1982
openaire   +1 more source

The completeness criterion for systems which contain all one-place finite-automaton functions

Discrete Mathematics and Applications, 2000
exaly