Advanced Search

home List of Authors author

Steven Givant

1 articles in 1 journals

ARTICLE TITLE YEAR AUTHORS ACTIONS

Decision problems for equational theories of relation algebras Published in: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / p. 47 - 52

1994

Hajnal Andreka Steven Givant Istvan Nemeti

Plain Text
Hajnal Andreka, Steven Givant, Istvan Nemeti, Decision problems for equational theories of relation algebras, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 47 - 52

BIBTEX
@Article{ authors = " Hajnal Andreka, Steven Givant, Istvan Nemeti", title = "Decision problems for equational theories of relation algebras", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "47 - 52" }