WorldCat Identities

Gurevich, Yuri

Overview
Works: 79 works in 173 publications in 3 languages and 1,759 library holdings
Genres: Conference proceedings 
Roles: Honoree, Editor, Creator
Classifications: QA76.76.T48, 511.3
Publication Timeline
Key
Publications about  Yuri Gurevich Publications about Yuri Gurevich
Publications by  Yuri Gurevich Publications by Yuri Gurevich
Most widely held works by Yuri Gurevich
Tests and proofs first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers by Yuri Gurevich ( )
14 editions published in 2007 in English and and held by 485 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. Topics addressed are generation of test cases or oracles by theorem proving, constraint logic programming, model checking, or symbolic execution; pro
The classical decision problem by E Börger ( Book )
25 editions published between 1996 and 2001 in English and German and held by 338 WorldCat member libraries worldwide
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings by Yuri Gurevich ( Book )
18 editions published in 2000 in English and held by 332 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000. The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers by E Börger ( Book )
13 editions published in 1994 in English and held by 300 WorldCat member libraries worldwide
"This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations."--PUBLISHER'S WEBSITE
Semantics of programming languages and model theory ( Book )
7 editions published between 1991 and 1993 in English and held by 90 WorldCat member libraries worldwide
Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th birthday by Andreas Blass ( )
6 editions published in 2010 in English and held by 79 WorldCat member libraries worldwide
Annotation
Existential second-order logic over strings by Thomas Eiter ( )
5 editions published between 1997 and 1998 in English and held by 17 WorldCat member libraries worldwide
Abstract state machines : theory and applications ; international workshop ; proceedings ( Book )
1 edition published in 2000 in English and held by 15 WorldCat member libraries worldwide
Partisan corroboration, and shifted pairing by Yuri Gurevich ( Book )
3 editions published in 1998 in English and German and held by 8 WorldCat member libraries worldwide
Abstract: "The Herbrand theorem plays a fundamental role in automated theorem proving methods based on global variable or rigid variable approaches. The kernel step in procedures based on such methods can be described as the corroboration problem (also called the Herbrand skeleton problem), where, given a positive integer m, called multiplicity, and a quantifier free formula, one seeks for a valid or provable (in classical first-order logic) disjunction of m instantiations of that formula. In logic with equality this problem was recently shown to be undecidable. The first main contribution of this paper is a logical theorem, that we call the Partisan Corroboration Theorem, that enables us to show that, for a certain interesting subclass of Horn formulas, corroboration with multiplicity one can be reduced to corroboration with any given multiplicity. The second main contribution of this paper is a finite tree automata formalization of a technique called shifted pairing for proving undecidability results via direct encodings of valid Turing machine computations. We call it the Shifted Pairing Theorem. By using the Partisan Corroboration Theorem, the Shifted Pairing Theorem, and term rewriting techniques in equational reasoning, we improve upon a number of recent undecidability results related to the corroboration problem, the simultaneous rigid E-unification problem and the prenex fragment of intuitionistic logic with equality."
Abstract state machines : theory and applications ; international workshop ; proceedings ( )
1 edition published in 2000 in English and held by 4 WorldCat member libraries worldwide
Fixed-point extensions of first-order logic by Yuri Gurevich ( Book )
2 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide
The evolving algebra semantics of C : preliminary version by Yuri Gurevich ( Book )
1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide
Reconsidering Turing's thesis : (toward more realistic semantics of programs) by Yuri Gurevich ( Book )
1 edition published in 1984 in English and held by 3 WorldCat member libraries worldwide
Evolving Algebras: A Novel Specification and Verification Methodology ( )
3 editions published between 1996 and 1997 in English and held by 3 WorldCat member libraries worldwide
The Evolving Algebra Methodology originated at Michigan and, from the beginning, was supported by ONR. Recently the term 'Evolving Algebra' has been replaced with the term 'Abstract State Machines' abbreviated to ASM. During the period in question, the ASM theory has been advanced and many ASM applications have been successfully realized. The ASM methodology spread to many countries including many European countries, e.g. France, Germany, Switzerland. Annual ASM workshops have been established. The latest ASM workshop took place in June 1997 in France; see http://www.tik.ee.ethz.ch/kutter/ASMworkshop/1997/. General information about the current state of affairs in the ASM field can be found at http://www.eecs.umich.edu/gasm/. An ASM interpreter has been improved here at Michigan; additional ASM tools have been; in particular see http://www.icsi.berkeley.edu/ maffy/gem. In the rest of the report, we provide an annotated list of the articles of the principal investigator and his students written, at least partially, during the period in question
A Tribute to Dirk van Dalen : special issue ( Book )
3 editions published in 1995 in English and held by 3 WorldCat member libraries worldwide
Equivalence is in the eye of the beholder by Yuri Gurevich ( Book )
1 edition published in 1995 in English and held by 2 WorldCat member libraries worldwide
Abstract: "This is a reaction to Lamport's 'Processes are in the Eye of the Beholder." To illustrate the 'insubstantiality of processes, ' Lamport represents a 2-process algorithm and an N-process algorithm by temporal formulas and proves the equivalence of the two formulas. We analyze in what sense the two algorithms are and are not equivalent, and give a more direct equivalence proof."
Toward logic tailored for computational complexity by Yuri Gurevich ( Book )
1 edition published in 1984 in English and held by 2 WorldCat member libraries worldwide
Algebraic operational semantics and Occam by Yuri Gurevich ( Book )
1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide
Abstract: "We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to the study of verification and transformation of programs."
Tailoring recursion for complexity by Erich Grädel ( Book )
1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide
Abstract: "We design functional algebras that characterize various complexity classes of global functions. For this purpose, classical schemata from recursion theory are tailored for capturing complexity. In particular we present a functional analogue of first-order logic and describe algebras for the functions computable in nondeterministic logarithmic space, deterministic and nondeterministic polynomial time, and for the functions computable by AC¹-circuits."
BRICS : mini-course on evolving algebras, University of Aarhus, 7-10 August, 1995 by Yuri Gurevich ( Book )
1 edition published in 1995 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.00 for BRICS : mi ... to 1.00 for Evolving A ...)
Alternative Names
Gurevich, Yuri
Languages
English (105)
German (2)
(1)
Covers