AAAAAA
Results:
1-9
|
Results: 9
Authors:
Pontelli, E
Gupta, G
Citation: E. Pontelli et G. Gupta, Backtracking in independent and-parallel implementations of logic programming languages, IEEE PARALL, 12(11), 2001, pp. 1169-1189
Authors:
Dovier, A
Pontelli, E
Rossi, G
Citation: A. Dovier et al., Constructive negation and constraint logic programming with sets, NEW GEN COM, 19(3), 2001, pp. 209-255
Authors:
Gupta, G
Pontelli, E
Citation: G. Gupta et E. Pontelli, Optimization schemas for parallel implementation of non-deterministic languages and systems, SOFTW PR EX, 31(12), 2001, pp. 1143-1181
Authors:
King, L
Gupta, G
Pontelli, E
Citation: L. King et al., Verification of a controller for BART: An approach based on horn logic anddenotational semantics, KLUW ENGN C, 577, 2001, pp. 265-299
Authors:
Ranjan, D
Pontelli, E
Gupta, G
Longpre, L
Citation: D. Ranjan et al., The Temporal Precedence Problem, ALGORITHMIC, 28(3), 2000, pp. 288-306
Authors:
Dovier, A
Piazza, C
Pontelli, E
Rossi, G
Citation: A. Dovier et al., Sets and constraint logic programming, ACM T PROGR, 22(5), 2000, pp. 861-931
Authors:
Dovier, A
Pontelli, E
Rossi, G
Citation: A. Dovier et al., A necessary condition for Constructive Negation in Constraint Logic Programming, INF PROCESS, 74(3-4), 2000, pp. 147-156
Authors:
Ranjan, D
Pontelli, E
Gupta, G
Citation: D. Ranjan et al., Data structures for order-sensitive predicates in parallel nondeterministic systems, ACT INFORM, 37(1), 2000, pp. 21-43
Authors:
Ranjan, D
Pontelli, E
Gupta, G
Citation: D. Ranjan et al., On the complexity of or-parallelism, NEW GEN COM, 17(3), 1999, pp. 285-307
Risultati:
1-9
|