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 1213, 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 postproceedings 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
15 editions published in 2007 in English and held by 513 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postproceedings 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 postproceedings 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
17 editions published in 2000 in English and held by 347 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postproceedings 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
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 1317, 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, fixedpoint logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations."PUBLISHER'S WEBSITE
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, fixedpoint 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
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
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
1 edition published in 2000 in English and held by 18 WorldCat member libraries worldwide
Existential secondorder logic over strings
by
Thomas Eiter(
)
5 editions published between 1997 and 1998 in English and held by 15 WorldCat member libraries worldwide
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 firstorder 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 Eunification problem and the prenex fragment of intuitionistic logic with equality."
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 firstorder 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 Eunification 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
1 edition published in 2000 in English and held by 6 WorldCat member libraries worldwide
Fixedpoint extensions of firstorder logic
by
Yuri Gurevich(
Book
)
3 editions published in 1985 in English and held by 5 WorldCat member libraries worldwide
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
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
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
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."
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
2 editions published in 1984 in English and held by 3 WorldCat member libraries worldwide
Algebraic operational semantics for Modula2
by
Yuri Gurevich(
Book
)
2 editions published in 1987 in English and held by 3 WorldCat member libraries worldwide
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
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
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
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
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Börger, E. (Egon) 1946 Author Editor
 Meyer, Bertrand 1950 Author Editor
 Grädel, Erich 1958
 Meinke, K. (Karl) Editor
 Blass, Andreas Author Editor
 Droste, Manfred 1956
 Odersky, Martin
 Thiele, Lothar
 Kutter, Philipp W.
 Reisig, Wolfgang Editor
Useful Links
Associated Subjects
Algebra Artificial intelligence Automatic theorem proving Computational linguistics Computer networks Computer science Computer scienceMathematics Computer software Computer softwareQuality control Computer softwareReliability Computer softwareTesting Database management Decidability (Mathematical logic) Firstorder logic Formal methods (Computer science) Herbrand's theorem (Number theory) Horn clauses Information theory Logic, Symbolic and mathematical Logic design Logic programming Machine theory Probabilities Programming languages (Electronic computers) Programming languages (Electronic computers)Semantics Semantics Software engineering Turing machines