Decidability results for classes of purely universal formulae and quantifiers elimination in set theory

A general mechanism to extend decision algorithms to deal with additional predicates is described. The only conditions imposed on the predicates is stability with respect to some transitive relations.... Ausführliche Beschreibung

1. Person: Domenico Cantone verfasserin
Weitere Personen: Vincenzo Cutello verfasserin; Alberto Policriti verfasserin
Quelle: In Le Matematiche (01.11.1988)
Weitere Artikel
Format: Online-Artikel
Sprache: English
French
Italian
Veröffentlicht: 1988
Beschreibung: Online-Ressource
Online Zugang: Online
Online
Online
Online
Volltext
Tags: Hinzufügen
Keine Tags. Fügen Sie den ersten Tag hinzu!
  Creative Commons License Source: Directory of Open Access Journals (DOAJ).

Online

Online
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!
Online
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!
Online
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!
Online
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!

Bibliothek

SOZ c 730: 14
Sie finden den Titel im gelb markierten Bereich:
another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square

Ähnliche Einträge

Keine ähnlichen Titel gefunden

Privacy Notice Ask a Librarian New Acquisitions