Steven Givant

1 artykuły w 1 czasopismach

• Decision problems for equational theories of relation algebras Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 47 - 52

  ROK: 1994

  Hajnal Andreka Steven Givant Istvan Nemeti

  Zacytuj Udostępnij
  

  CZYSTY TEKST

  pobierz cytat

  BIBTEX

  pobierz cytat