Gurevich 1988 Yuri Gurevich, "Logic and the Challenge of Computer Science", In "Current Trends in Theoretical Computer Science" (Ed. E. Borger), Computer Science Press, 1988, 1--57. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
An ASM Dynamic Semantics for Standard ML - Cater, Huggins (1 citation) (Correct)
Design for Reuse via Structuring Techniques for ASMs - Börger (2001) (Correct)
Finite Model Theory and Descriptive Complexity - Grädel (2002) (Correct)
The Formal Definition of Anlauff's eXtensible Abstract State.. - Kutter (2002) (1 citation) (Correct)
Implicit Definability and Infinitary Logic in Finite Model.. - Dawar, al. (8 citations) (Correct)
Pseudo-Finite Model Theory - Väänänen (2001) (Correct)
Existential Second-Order Logic over Strings (Extended.. - Eiter, Gottlob, Gurevich (1997) (Correct)
Definability on Finite Structures and the - Existence Of One-Way (Correct)
Ptime Canonization for Two Variables with Counting - Otto Mathematische Grundlagen (1995) (9 citations) (Correct)
A Survey on Real Structural Complexity Theory - Meer, Michaux (1996) (7 citations) (Correct)
Proving the Correctness of the Static Link Technique Using.. - Mohnen (1994) (Correct)
Fixed-Point Logics, Descriptive Complexity, And Random.. - Atserias (2002) (Correct)
A Programming Language For Local - Computations In Graphs (Correct)
Sharply Bounded Alternation within P - Bloch (1995) (2 citations) (Correct)
A Survey on Real Structural Complexity Theory - Meer, Michaux (1997) (7 citations) (Correct)
The validation of a bidirectional serial/parallel shift.. - Giampaolo Bella Elvinia (Correct)
Choiceless Polynomial Time - Andreas Blass Yuri (1997) (4 citations) Self-citation (Gurevich) (Correct)
Evolving Algebras 1993: Lipari Guide - Gurevich (1995) (64 citations) Self-citation (Gurevich) (Correct)
Algebraic Operational Semantics and Modula-2* - Yuri Gurevich And Self-citation (Yuri) (Correct)
The Logic of Choice - Andreas Blass Math Self-citation (Gurevich) (Correct)
Unknown - Incomd Sciencecolum By Self-citation (Gurevich) (Correct)
Equivalence Is In The Eye Of The Beholder - Yuri Gurevich And (3 citations) Self-citation (Gurevich) (Correct)
On Finite Rigid Structures - Yuri Gurevich Saharon (1996) (10 citations) Self-citation (Gurevich) (Correct)
Metafinite Model Theory - Erich Gradel Yuri (1995) (1 citation) Self-citation (Gurevich) (Correct)
Existential Second-Order Logic over Strings - Eiter, Gottlob, Gurevich (1998) (5 citations) Self-citation (Gurevich) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC