Find link

language:

Find link is a tool written by Edward Betts.

searching for Yuri Gurevich 8 found (21 total)

Spec Explorer (517 words) [view diff] exact match in snippet view article find links to article

Testing 2008, LNCS 4949, Springer, 2008, pp. 39-76. Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes. Generating finite state machines

Hasselt University (1,361 words) [view diff] exact match in snippet view article find links to article

Matzinger Cees Dekker Kathleen Eisenhardt Frank De Winne Tom Jovin Yuri Gurevich David Montgomery Michael Berridge Harold Kroto Roger Langenaken David

Stanislav Petrov (3,773 words) [view diff] no match in snippet view article find links to article

original on 18 December 2018. Retrieved 4 September 2021. Vasilev, Yuri. Gurevich, Vladimir; Gaydamak, Arcadi; Sokolov, Sergey Viktorovich; Bogomolov

Computation history (1,126 words) [view diff] exact match in snippet view article find links to article

October 2010). Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Springer. p. 468. ISBN 978-3-642-15024-1

Constrained Horn clauses (580 words) [view diff] exact match in snippet view article find links to article

Verification", Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, Lecture Notes in Computer Science

Fixed-point logic (2,030 words) [view diff] exact match in snippet view article find links to article

802186. ISBN 978-0897910705. S2CID 7869248. Ebbinghaus and Flum, p. 242 Yuri Gurevich and Saharon Shelah, Fixed-pointed extension of first order logic, Annals

Turing machine (9,524 words) [view diff] exact match in snippet view article find links to article

ISBN 0-444-88071-2 (Volume A). QA76.H279 1990. Nachum Dershowitz; Yuri Gurevich (September 2008). "A natural axiomatization of computability and proof

John R. Stallings (3,594 words) [view diff] exact match in snippet view article find links to article

Journal of Algebra and Computation, vol. 15 (2005), no. 1, pp. 95–128. Yuri Gurevich, and Paul Schupp, "Membership problem for the modular group", SIAM Journal