AAAAAA

   
Results: 1-21 |
Results: 21
COMPUTABLE KRIPKE MODELS AND INTERMEDIATE LOGICS
Authors: ISHIHARA H KHOUSSAINOV B NERODE A
Citation: H. Ishihara et al., COMPUTABLE KRIPKE MODELS AND INTERMEDIATE LOGICS, Information and computation, 143(2), 1998, pp. 205-230
DECIDABLE KRIPKE MODELS OF INTUITIONISTIC THEORIES
Authors: ISHIHARA H KHOUSSAINOV B NERODE A
Citation: H. Ishihara et al., DECIDABLE KRIPKE MODELS OF INTUITIONISTIC THEORIES, Annals of pure and applied Logic, 93(1-3), 1998, pp. 115-123
HYBRID CONTROL-SYSTEMS - AN INTRODUCTORY DISCUSSION TO THE SPECIAL ISSUE
Authors: ANTSAKLIS PJ NERODE A
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
ANNOTATED NONMONOTONIC RULE SYSTEMS
Authors: NERODE A REMMEL JB SUBRAHMANIAN VS
Citation: A. Nerode et al., ANNOTATED NONMONOTONIC RULE SYSTEMS, Theoretical computer science, 171(1-2), 1997, pp. 111-146
HYBRID KNOWLEDGE BASES
Authors: LU JJ NERODE A SUBRAHMANIAN VS
Citation: Jj. Lu et al., HYBRID KNOWLEDGE BASES, IEEE transactions on knowledge and data engineering, 8(5), 1996, pp. 773-785
IMPLEMENTING DEDUCTIVE DATABASES BY MIXED-INTEGER PROGRAMMING
Authors: BELL C NERODE A NG RT SUBRAHMANIAN VS
Citation: C. Bell et al., IMPLEMENTING DEDUCTIVE DATABASES BY MIXED-INTEGER PROGRAMMING, ACM transactions on database systems, 21(2), 1996, pp. 238-269
A NON-GROUND REALIZATION OF THE STABLE AND WELL-FOUNDED SEMANTICS
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
COMPUTING MINIMAL MODELS BY PARTIAL INSTANTIATION
Authors: KAGAN V NERODE A SUBRAHMANIAN VS
Citation: V. Kagan et al., COMPUTING MINIMAL MODELS BY PARTIAL INSTANTIATION, Theoretical computer science, 155(1), 1996, pp. 157-177
DEDICATED TO THE LATE KLEENE,STEPHEN,COLE - PREFACE
Authors: NERODE A SACKS G
Citation: A. Nerode et G. Sacks, DEDICATED TO THE LATE KLEENE,STEPHEN,COLE - PREFACE, Annals of pure and applied Logic, 81(1-3), 1996, pp. 1-1
ON THE LATTICES OF NP-SUBSPACES OF A POLYNOMIAL-TIME VECTOR-SPACE OVER A FINITE-FIELD
Authors: NERODE A REMMEL JB
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
PAPERS IN HONOR OF THE SYMPOSIUM ON LOGICAL-FOUNDATIONS OF COMPUTER-SCIENCE, LOGIC AT ST-PETERSBURG
Authors: MATIYASEVICH Y NERODE A
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
EFFECTIVE CONTENT OF THE CALCULUS OF VARIATIONS .1. SEMI-CONTINUITY AND THE CHATTERING LEMMA
Authors: GE XL NERODE A
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
MCNAUGHTON GAMES AND EXTRACTING STRATEGIES FOR CONCURRENT PROGRAMS
Authors: NERODE A REMMEL JB YAKHNIS A
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
COMPUTING CIRCUMSCRIPTIVE DATABASES .1. THEORY AND ALGORITHMS
Authors: NERODE A NG RT SUBRAHMANIAN VS
Citation: A. Nerode et al., COMPUTING CIRCUMSCRIPTIVE DATABASES .1. THEORY AND ALGORITHMS, Information and computation, 116(1), 1995, pp. 58-80
VIABILITY IN HYBRID SYSTEMS
Authors: KOHN W NERODE A REMMEL JB YAKHNIS A
Citation: W. Kohn et al., VIABILITY IN HYBRID SYSTEMS, Theoretical computer science, 138(1), 1995, pp. 141-168
HYBRID SYSTEMS-APPROACH TO COMPUTER-AIDED CONTROL ENGINEERING
Authors: KOHN W JAMES J NERODE A HARBISON K AGRAWALA A
Citation: W. Kohn et al., HYBRID SYSTEMS-APPROACH TO COMPUTER-AIDED CONTROL ENGINEERING, Control systems magazine, 15(2), 1995, pp. 14-25
THE STABLE MODELS OF A PREDICATE LOGIC PROGRAM
Authors: MAREK VW NERODE A REMMEL JB
Citation: Vw. Marek et al., THE STABLE MODELS OF A PREDICATE LOGIC PROGRAM, The journal of logic programming, 21(3), 1994, pp. 129-153
A SELECTION OF PAPERS PRESENTED AT THE SYMPOSIUM LOGIC AT TVER-92 - PREFACE
Authors: NERODE A TAITSLIN MA
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
COMPUTING DEFINITE LOGIC PROGRAMS BY PARTIAL INSTANTIATION
Authors: KAGAN V NERODE A SUBRAHMANIAN VS
Citation: V. Kagan et al., COMPUTING DEFINITE LOGIC PROGRAMS BY PARTIAL INSTANTIATION, Annals of pure and applied Logic, 67(1-3), 1994, pp. 161-182
A CONTEXT FOR BELIEF REVISION - FORWARD CHAINING NORMAL NONMONOTONIC RULE SYSTEMS
Authors: MAREK VW NERODE A REMMEL JB
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
MIXED-INTEGER PROGRAMMING METHODS FOR COMPUTING NONMONOTONIC DEDUCTIVE DATABASES
Authors: BELL C NERODE A NG RT SUBRAHMANIAN VS
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
Risultati: 1-21 |