Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 215
Titolo Data di pubblicazione Autore(i) File
Decision procedures for elementary sublanguages of set theory. VI. Multi‐level syllogistic extended by the powerset operator 1-gen-1985 Cantone, Domenico; Schwartz, Jt; Ferro, A. file da validare
Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of (x) = { {y} | y Î x} 1-gen-1987 Sorace, Giuseppe; Cantone, Domenico; A., Ferro; B., Micale file da validare
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator 1-gen-1987 Cantone, Domenico; Ferro, A; Schwartz, J. T. file da validare
Decision algorithms for some fragments of analysis and related areas 1-gen-1987 Cantone, Domenico; Ferro, A; Omodeo, E; Schwartz, J. T. file da validare
Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}| y ϵ x} 1-gen-1987 Cantone, Domenico; Ferro, A; Sorace, G; Micale, B. file da validare
Decidability results for classes of purely universal formulae and quantifiers elimination in set theory. 1-gen-1988 Cantone, Domenico; Cutello, Vincenzo; Policriti, A. file da validare
Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set‐theoretic formulae 1-gen-1988 Cantone, Domenico; Ferro, A; Omodeo, E. G. file da validare
Computable Set Theory 1-gen-1989 Cantone, Domenico; Ferro, Alfredo; Omodeo, E. file da validare
Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs 1-gen-1989 Cantone, Domenico; Cutello, Vincenzo; Ferro, A. file da validare
Topological syllogistic with continuous and closed functions 1-gen-1989 Cantone, Domenico; Omodeo, E. G. file da validare
Decision procedures for elementary sublanguages of set theory - XV. Multilevel syllogistic extended by the predicate finite and the operators singleton and pred 1-gen-1990 Cantone, Domenico; Cutello, Vincenzo file da validare
The automation of syllogistic - II. Optimization and complexity issues 1-gen-1990 Cantone, Domenico; Omodeo, E. G.; Policriti, A. file da validare
A decidable fragment of the elementary theory of relations and some applications 1-gen-1990 Cantone, Domenico; Cutello, Vincenzo file da validare
Set-theoretic reductions of Hilbert's tenth problem 1-gen-1990 Cantone, Domenico; Cutello, Vincenzo; Policriti, A. file da validare
Decision procedures for elementary sublanguages of Set Theory. X. Multilevel syllogistic extended by the singleton and powerset 1-gen-1991 Cantone, Domenico file da validare
Decision problems for Tarski’s and Presburger’s arithmetics extended with sets. 1-gen-1991 Cantone, Domenico; Cutello, Vincenzo; Schwartz, Jt file da validare
Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators 1-gen-1991 Cantone, D. file da validare
Decision procedures for stratified set-theoretic syllogistics 1-gen-1993 Cantone, Domenico; Cutello, Vincenzo file da validare
Decision algorithms for elementary topology. I. Topological syllogistic with set and map constructs, connectedness and cardinality comparison 1-gen-1994 Cantone, Domenico; Cutello, Vincenzo file da validare
Techniques of computable set theory with applications to proof verification 1-gen-1995 Cantone, Domenico; Ferro, Alfredo file da validare
Mostrati risultati da 1 a 20 di 215
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