Citation: Pj. Antsaklis et A. Nerode, HYBRID CONTROL-SYSTEMS - AN INTRODUCTORY DISCUSSION TO THE SPECIAL ISSUE, IEEE transactions on automatic control, 43(4), 1998, pp. 457-460
Citation: C. Bell et al., IMPLEMENTING DEDUCTIVE DATABASES BY MIXED-INTEGER PROGRAMMING, ACM transactions on database systems, 21(2), 1996, pp. 238-269
Authors:
GOTTLOB G
MARCUS S
NERODE A
SALZER G
SUBRAHMANIAN VS
Citation: G. Gottlob et al., A NON-GROUND REALIZATION OF THE STABLE AND WELL-FOUNDED SEMANTICS, Theoretical computer science, 166(1-2), 1996, pp. 221-262
Citation: A. Nerode et Jb. Remmel, ON THE LATTICES OF NP-SUBSPACES OF A POLYNOMIAL-TIME VECTOR-SPACE OVER A FINITE-FIELD, Annals of pure and applied Logic, 81(1-3), 1996, pp. 125-170
Citation: Y. Matiyasevich et A. Nerode, PAPERS IN HONOR OF THE SYMPOSIUM ON LOGICAL-FOUNDATIONS OF COMPUTER-SCIENCE, LOGIC AT ST-PETERSBURG, Annals of pure and applied Logic, 78(1-3), 1996, pp. 1-1
Citation: Xl. Ge et A. Nerode, EFFECTIVE CONTENT OF THE CALCULUS OF VARIATIONS .1. SEMI-CONTINUITY AND THE CHATTERING LEMMA, Annals of pure and applied Logic, 78(1-3), 1996, pp. 127-146
Citation: A. Nerode et al., MCNAUGHTON GAMES AND EXTRACTING STRATEGIES FOR CONCURRENT PROGRAMS, Annals of pure and applied Logic, 78(1-3), 1996, pp. 203-242
Citation: A. Nerode et Ma. Taitslin, A SELECTION OF PAPERS PRESENTED AT THE SYMPOSIUM LOGIC AT TVER-92 - PREFACE, Annals of pure and applied Logic, 67(1-3), 1994, pp. 1-1
Citation: Vw. Marek et al., A CONTEXT FOR BELIEF REVISION - FORWARD CHAINING NORMAL NONMONOTONIC RULE SYSTEMS, Annals of pure and applied Logic, 67(1-3), 1994, pp. 269-323
Citation: C. Bell et al., MIXED-INTEGER PROGRAMMING METHODS FOR COMPUTING NONMONOTONIC DEDUCTIVE DATABASES, Journal of the Association for Computing Machinery, 41(6), 1994, pp. 1178-1215