Searching for authors named "Yuri Matiyasevich" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Interval Computations as Propagation of Constraints
- …2.4 Interval Computations as Propagation of Constraints Yuri Matiyasevich Steklov Institute…
- Add To MetaCart
-
Some probabilistic restatements of the four color conjecture
- … Wiley & Sons, Inc. Some Probabilistic Restatements of the Four Color Conjecture ABSTRACT Yuri…
- Cited by 2 (0 self) – Add To MetaCart
-
The Four Colour Theorem as a possible corollary of binomial summation
- …The Four Colour Theorem as a possible corollary of binomial summation Yuri Matiyasevich Steklov…
- Cited by 4 (0 self) – Add To MetaCart
-
Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics
- …Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics Yuri Matiyasevich…
- Cited by 1 (0 self) – Add To MetaCart
-
Some Probabilistic Restatements of the Four Color Conjecture
- …) John Wiley & Sons, Inc. Some Probabilistic Restatements of the Four Color Conjecture Yuri Matiyasevich…
- Add To MetaCart
-
Two Universal 3-Quantifier Representations Of Recursively Enumerable Sets
- …TWO UNIVERSAL 3-QUANTIFIER REPRESENTATIONS OF RECURSIVELY ENUMERABLE SETS YURI MATIYASEVICH, JULIA…
- Cited by 2 (0 self) – Add To MetaCart
-
Simultaneous Rigid E-Unification is not so Simple
- … email anatoli@(email omitted); Yuri Matiyasevich y Steklov Institute of Mathematics St. Petersburg Division…
- Add To MetaCart
-
Elimination of Bounded Universal Quantifiers Standing in Front of a Quantifier-Free Arithmetical Formula
- … formula Yuri Matiyasevich Raphael M. Robinson proved in 1956 in [8] the following theorem: For every…
- Add To MetaCart
-
Window-Accumulated Subsequence matching Problem is linear
- …`ene Guessarian Yuri Matiyasevich Abstract Given two strings, text t of length n, and pattern p = p1…
- Cited by 5 (0 self) – Add To MetaCart
-
Solving Trace Equations Using Lexicographical Normal Forms
- …, Institut fur Informatik Breitwiesenstr. 20-22 70565 Stuttgart, Germany Yuri Matiyasevich Steklov…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
