WorldCat Identities

Gurevich, Yuri

Overview
Works: 89 works in 190 publications in 2 languages and 1,833 library holdings
Genres: Conference proceedings 
Roles: Author, Honoree, Editor, Creator
Classifications: QA76.76.T48, 511.3
Publication Timeline
.
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( )
15 editions published in 2007 in English and held by 513 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
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings by Yuri Gurevich( Book )
17 editions published in 2000 in English and held by 347 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
The classical decision problem by E Börger( Book )
25 editions published between 1996 and 2001 in English and German and held by 345 WorldCat member libraries worldwide
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers by E Börger( Book )
11 editions published in 1994 in English and held by 296 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 by M Droste( Book )
7 editions published between 1991 and 1993 in English and held by 92 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 82 WorldCat member libraries worldwide
Annotation
Abstract state machines : theory and applications ; international workshop ; proceedings ( Book )
1 edition published in 2000 in English and held by 18 WorldCat member libraries worldwide
Existential second-order logic over strings by Thomas Eiter( )
5 editions published between 1997 and 1998 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 held by 7 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 6 WorldCat member libraries worldwide
Fixed-point extensions of first-order logic by Yuri Gurevich( Book )
3 editions published in 1985 in English and held by 5 WorldCat member libraries worldwide
Tests and proofs : first international conference : revised papers ( Book )
2 editions published in 2007 in English and held by 4 WorldCat member libraries worldwide
Reconsidering Turing's thesis : (toward more realistic semantics of programs) by Yuri Gurevich( Book )
2 editions published in 1984 in English and held by 4 WorldCat member libraries worldwide
Toward logic tailored for computational complexity by Yuri Gurevich( Book )
2 editions published in 1984 in English and held by 3 WorldCat member libraries worldwide
Algebraic operational semantics and Occam by Yuri Gurevich( Book )
2 editions published in 1990 in English and held by 3 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."
Henkin quantifiers and complete problems by Andreas Blass( Book )
2 editions published in 1984 in English and held by 3 WorldCat member libraries worldwide
Algebraic operational semantics for Modula-2 by Yuri Gurevich( Book )
2 editions published in 1987 in English and held by 3 WorldCat member libraries worldwide
On the number of active nodes in a multicomputer system by Aharon Barak( Book )
2 editions published in 1985 in English and held by 3 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
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/ kut- ter/ASMworkshop/1997/. Two ASM workshop will take place in 1998: one in France and one in Germany. 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 partiallv. during the period in question
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.35 for Existentia ... to 1.00 for Evolving A ...)
Alternative Names
Gurevich, Yuri
Languages
English (111)
German (1)
Covers