Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 95
Titolo Data di pubblicazione Autori File
The elimination of descriptions from A. Bressan's modal language ML^nu on which the logical calculus MC^nu is based 1-gen-1977 OMODEO, EUGENIO
Decision procedures for elementary sublanguages of set theory. I: Multi-level syllogistic and some extensions 1-gen-1980 OMODEO, EUGENIO +
Three existence principles in a modal calculus without descriptions in A. Bressan's MC^nu 1-gen-1980 OMODEO, EUGENIO
Decision procedures for elementary sublanguages of set theory. II: Formulas involving restricted quantifiers together with ordinal, integer, map, and domain notions 1-gen-1981 OMODEO, EUGENIO +
The Linked Conjunct method for automatic deduction and related search techniques 1-gen-1982 OMODEO, EUGENIO
Decision algorithms for some fragments of analysis and related areas 1-gen-1987 OMODEO, EUGENIO +
Decision procedures for elementary sublanguages of set theory, VII: Validity in set theory when a choice operator is present 1-gen-1987 OMODEO, EUGENIO +
The automation of syllogistic. I: Syllogistic normal form 1-gen-1988 OMODEO, EUGENIO +
Decision procedures for elementary sublanguages of set theory. VIII: A semidecision procedure for finite satisfiability of unquantified set-theoretic formulae 1-gen-1988 OMODEO, EUGENIO +
Topological syllogistic with continuous and closed functions 1-gen-1989 OMODEO, EUGENIO +
Computable Set Theory, vol. I 1-gen-1989 OMODEO, EUGENIO +
The automation of syllogistic. II: Optimization and complexity issues 1-gen-1990 OMODEO, EUGENIO +
{log}: A logic programming language with finite sets 1-gen-1991 OMODEO, EUGENIO +
A derived algorithm for evaluating epsilon-expressions over abstract sets 1-gen-1993 OMODEO, EUGENIO +
Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case 1-gen-1995 OMODEO, EUGENIO +
Decidability of E*A-sentences in membership theories 1-gen-1996 OMODEO, EUGENIO +
A language for programming in logic with finite sets 1-gen-1996 OMODEO, EUGENIO +
Solvable set/hyperset contexts: II. A goal-driven algorithm for the blended case 1-gen-1999 OMODEO, EUGENIO +
Transitive Venn diagrams with applications to the decision problem in set theory 1-gen-1999 OMODEO, EUGENIO +
An equational re-engineering of set theories 1-gen-2000 OMODEO, EUGENIO +
Mostrati risultati da 1 a 20 di 95
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile