AAAAAA
Results:
1-7
|
Results: 7
Authors:
ALPUENTE M
FALASCHI M
JULIAN P
VIDAL G
Citation: M. Alpuente et al., SPECIALIZATION OF LAZY FUNCTIONAL LOGIC PROGRAMS, ACM SIGPLAN NOTICES, 32(12), 1997, pp. 151-162
Authors:
FALASCHI M
GABBRIELLI M
MARRIOTT K
PALAMIDESSI C
Citation: M. Falaschi et al., CONSTRAINT LOGIC PROGRAMMING WITH DYNAMIC SCHEDULING - A SEMANTICS BASED ON CLOSURE OPERATORS, Information and computation, 137(1), 1997, pp. 41-67
Authors:
CODISH M
FALASCHI M
MARRIOTT K
WINSBOROUGH W
Citation: M. Codish et al., A CONFLUENT SEMANTIC BASIS FOR THE ANALYSIS OF CONCURRENT CONSTRAINT LOGIC PROGRAMS, The journal of logic programming, 30(1), 1997, pp. 53-81
Authors:
FALASCHI M
GABBRIELLI M
MARRIOTT K
PALAMIDESSI C
Citation: M. Falaschi et al., CONFLUENCE IN CONCURRENT CONSTRAINT PROGRAMMING, Theoretical computer science, 183(2), 1997, pp. 281-315
Authors:
ALPUENTE M
FALASCHI M
VIDAL G
Citation: M. Alpuente et al., A COMPOSITIONAL SEMANTIC BASIS FOR THE ANALYSIS OF EQUATIONAL HORN PROGRAMS, Theoretical computer science, 165(1), 1996, pp. 133-169
Authors:
ALPUENTE M
FALASCHI M
MANZO F
Citation: M. Alpuente et al., ANALYSES OF UNSATISFIABILITY FOR EDUCATIONAL LOGIC PROGRAMMING, The journal of logic programming, 22(3), 1995, pp. 223-254
Authors:
ALPUENTE M
FALASCHI M
LEVI G
Citation: M. Alpuente et al., INCREMENTAL CONSTRAINT SATISFACTION FOR EQUATIONAL LOGIC PROGRAMMING, Theoretical computer science, 142(1), 1995, pp. 27-57
Risultati:
1-7
|