AAAAAA
Results: 1-25/155
Authors:
BIGOT PA
DEBRAY S
Citation: Pa. Bigot et S. Debray, RETURN VALUE PLACEMENT AND TAIL CALL OPTIMIZATION IN HIGH-LEVEL LANGUAGES, The journal of logic programming, 38(1), 1999, pp. 1-29
Authors:
RAMAKRISHNAN IV
RAO P
SAGONAS K
SWIFT T
WARREN DS
Citation: Iv. Ramakrishnan et al., EFFICIENT ACCESS MECHANISMS FOR TABLED LOGIC PROGRAMS, The journal of logic programming, 38(1), 1999, pp. 31-54
Authors:
JAYARAMAN B
JANA D
Citation: B. Jayaraman et D. Jana, SET CONSTRUCTORS, FINITE SETS, AND LOGICAL SEMANTICS, The journal of logic programming, 38(1), 1999, pp. 55-77
Authors:
PEARCE D
Citation: D. Pearce, STABLE INFERENCE AS INTUITIONISTIC VALIDITY, The journal of logic programming, 38(1), 1999, pp. 79-91
Authors:
LAMMA E
MILANO M
MELLO P
Citation: E. Lamma et al., REASONING ON CONSTRAINTS IN CLP(FD), The journal of logic programming, 38(1), 1999, pp. 93-110
Authors:
JAFFAR J
MAHER M
MARRIOTT K
STUCKEY P
Citation: J. Jaffar et al., THE SEMANTICS OF CONSTRAINT LOGIC PROGRAMS, The journal of logic programming, 37(1-3), 1998, pp. 1-46
Authors:
MARRIOTT K
STUCKEY PJ
Citation: K. Marriott et Pj. Stuckey, GUEST EDITORS INTRODUCTION - CONSTRAINT LOGIC PROGRAMMING, The journal of logic programming, 37(1-3), 1998, pp. 7-8
Authors:
DIX J
STOLZENBURG F
Citation: J. Dix et F. Stolzenburg, A FRAMEWORK TO INCORPORATE NONMONOTONIC REASONING INTO CONSTRAINT LOGIC PROGRAMMING, The journal of logic programming, 37(1-3), 1998, pp. 47-76
Authors:
MESNARD F
HOARAU S
MAILLARD A
Citation: F. Mesnard et al., CLP(CHI) FOR AUTOMATICALLY PROVING PROGRAM PROPERTIES, The journal of logic programming, 37(1-3), 1998, pp. 77-93
Authors:
FRUHWIRTH T
Citation: T. Fruhwirth, THEORY AND PRACTICE OF CONSTRAINT HANDLING RULES, The journal of logic programming, 37(1-3), 1998, pp. 95-138
Authors:
VANHENTENRYCK P
SARASWAT V
DEVILLE Y
Citation: P. Vanhentenryck et al., DESIGN, IMPLEMENTATION, AND EVALUATION OF THE CONSTRAINT LANGUAGE CC (FD), The journal of logic programming, 37(1-3), 1998, pp. 139-164
Authors:
LHOMME O
GOTLIEB A
RUEHER M
Citation: O. Lhomme et al., DYNAMIC OPTIMIZATION OF INTERVAL NARROWING ALGORITHMS, The journal of logic programming, 37(1-3), 1998, pp. 165-183
Authors:
FAGES F
FOWLER J
SOLA T
Citation: F. Fages et al., EXPERIMENTS IN REACTIVE CONSTRAINT LOGIC PROGRAMMING, The journal of logic programming, 37(1-3), 1998, pp. 185-212
Authors:
CHRISTIANSEN H
Citation: H. Christiansen, AUTOMATED REASONING WITH A CONSTRAINT-BASED METAINTERPRETER, The journal of logic programming, 37(1-3), 1998, pp. 213-254
Authors:
SHARMA N
COLOMB R
Citation: N. Sharma et R. Colomb, MECHANIZING SHARED CONFIGURATION AND DIAGNOSIS THEORIES THROUGH CONSTRAINT LOGIC PROGRAMMING, The journal of logic programming, 37(1-3), 1998, pp. 255-283
Authors:
LOKE SW
DAVISON A
Citation: Sw. Loke et A. Davison, LOGICWEB - ENHANCING THE WEB WITH LOGIC PROGRAMMING, The journal of logic programming, 36(3), 1998, pp. 195-240
Authors:
STARK RF
Citation: Rf. Stark, THE THEORETICAL FOUNDATIONS OF LPTP (A LOGIC PROGRAM THEOREM PROVER), The journal of logic programming, 36(3), 1998, pp. 241-269
Authors:
LIU MC
Citation: Mc. Liu, RELATIONLOG - A TYPED EXTENSION TO DATALOG WITH SETS AND TUPLES, The journal of logic programming, 36(3), 1998, pp. 271-299
Authors:
GIORDANO L
OLIVETTI N
Citation: L. Giordano et N. Olivetti, COMBINING NEGATION AS FAILURE AND EMBEDDED IMPLICATIONS IN LOGIC PROGRAMS, The journal of logic programming, 36(2), 1998, pp. 91-147
Authors:
LEUSCHEL M
DESCHREYE D
Citation: M. Leuschel et D. Deschreye, CREATING SPECIALIZED INTEGRITY CHECKS THROUGH PARTIAL EVALUATION OF META-INTERPRETERS, The journal of logic programming, 36(2), 1998, pp. 149-193
Authors:
LU LJ
Citation: Lj. Lu, POLYMORPHIC TYPE ANALYSIS IN LOGIC PROGRAMS BY ABSTRACT INTERPRETATION, The journal of logic programming, 36(1), 1998, pp. 1-54
Authors:
MESKES M
Citation: M. Meskes, SUBSUMPTION-STRATIFIED DATALOG, The journal of logic programming, 36(1), 1998, pp. 55-90
Authors:
BARAL C
GELFOND M
KOSHELEVA O
Citation: C. Baral et al., EXPANDING QUERIES TO INCOMPLETE DATABASES BY INTERPOLATING GENERAL LOGIC PROGRAMS, The journal of logic programming, 35(3), 1998, pp. 195-230
Authors:
HULL R
SU JW
Citation: R. Hull et Jw. Su, DEDUCTIVE QUERY LANGUAGES FOR RECURSIVELY TYPED COMPLEX OBJECTS, The journal of logic programming, 35(3), 1998, pp. 231-261
Authors:
TOMAN D
CHOMICKI J
Citation: D. Toman et J. Chomicki, DATALOG WITH INTEGER PERIODICITY CONSTRAINTS, The journal of logic programming, 35(3), 1998, pp. 263-290