Details

Autor(en) / Beteiligte
Andréka, Hajnal;Givant, Steven R.;Németi, István
Titel
Decision problems for equational theories of relation algebras
Ist Teil von
Erscheinungsort / Verlag
Providence, RI : American Mathematical Society
Erscheinungsjahr
1997
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 0821805959
OCLC-Nummer: 243863614
Titel-ID: 990007217130106463
Format
XIV, 126 S. : graph. Darst.
Systemstelle
TBR
Schlagworte
Relationenalgebra, Entscheidbarkeit, Mathematische Logik

Lade weitere Informationen...