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