AAAAAA

   
Results: 1-3 |
Results: 3
(LOG) - A LANGUAGE FOR PROGRAMMING IN LOGIC WITH FINITE SETS
Authors: DOVIER A OMODEO EG PONTELLI E ROSSI G
Citation: A. Dovier et al., (LOG) - A LANGUAGE FOR PROGRAMMING IN LOGIC WITH FINITE SETS, The journal of logic programming, 28(1), 1996, pp. 1-44
SOLVABLE SET HYPERSET CONTEXTS .1. SOME DECISION PROCEDURES FOR THE PURE, FINITE CASE
Authors: OMODEO EG POLICRITI A
Citation: Eg. Omodeo et A. Policriti, SOLVABLE SET HYPERSET CONTEXTS .1. SOME DECISION PROCEDURES FOR THE PURE, FINITE CASE, Communications on pure and applied mathematics, 48(9-10), 1995, pp. 1123-1155
A DERIVED ALGORITHM FOR EVALUATING EPSILON-EXPRESSIONS OVER ABSTRACT SETS
Authors: OMODEO EG PARLAMENTO F POLICRITI A
Citation: Eg. Omodeo et al., A DERIVED ALGORITHM FOR EVALUATING EPSILON-EXPRESSIONS OVER ABSTRACT SETS, Journal of symbolic computation, 15(5-6), 1993, pp. 673-704
Risultati: 1-3 |