550 citations · 767 across the 43 of their papers we have counts for
44 papers
Exact Exploration
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
Recent analysis of classical algorithms resulted in their axiomatization as transition systems satisfying some simple postulates, and in the formulation of the Abstract State Machi…
Primal logic of information
Yuri Gurevich, Andreas Blass
Primal logic arose in access control; it has a remarkably efficient (linear time) decision procedure for its entailment problem. But primal logic is a general logic of information.…
The umbilical cord of finite model theory
Yuri Gurevich
Model theory was born and developed as a part of mathematical logic. It has various application domains but is not beholden to any of them. A priori, the research area known as fin…
Novosibirsk algebra and logic in the mid 1960s: A personal perspective
Yuri Gurevich
Being asked to write about Asan D. Taimanov, I had a little problem. I knew Taimanov. I liked and respected him, and so I wanted to write something. But I didn't know him well. I d…
Software science view on quantum circuit algorithms
Yuri Gurevich, Andreas Blass
We show that, on the abstraction level of quantum circuit diagrams, quantum circuit algorithms belong to the species of interactive sequential algorithms that we studied in earlier…
A more abstract bounded exploration postulate
Yuri Gurevich, Tatiana Yavorskaya
In article "Sequential abstract state machines capture sequential algorithms", one of us axiomatized sequential algorithms by means of three postulates: sequential time, abstract s…