---
_id: '19814'
author:
- first_name: A.
  full_name: Flögel, A.
  last_name: Flögel
- first_name: H.
  full_name: Kleine Büning, H.
  last_name: Kleine Büning
- first_name: Theodor
  full_name: Lettmann, Theodor
  id: '315'
  last_name: Lettmann
  orcid: 0000-0001-5859-2457
citation:
  ama: Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses
    of propositional logic. <i>RAIRO - Theoretical Informatics and Applications</i>.
    1993:327-340. doi:<a href="https://doi.org/10.1051/ita/1993270403271">10.1051/ita/1993270403271</a>
  apa: Flögel, A., Kleine Büning, H., &#38; Lettmann, T. (1993). On the restricted
    equivalence for subclasses of propositional logic. <i>RAIRO - Theoretical Informatics
    and Applications</i>, 327–340. <a href="https://doi.org/10.1051/ita/1993270403271">https://doi.org/10.1051/ita/1993270403271</a>
  bibtex: '@article{Flögel_Kleine Büning_Lettmann_1993, title={On the restricted equivalence
    for subclasses of propositional logic}, DOI={<a href="https://doi.org/10.1051/ita/1993270403271">10.1051/ita/1993270403271</a>},
    journal={RAIRO - Theoretical Informatics and Applications}, author={Flögel, A.
    and Kleine Büning, H. and Lettmann, Theodor}, year={1993}, pages={327–340} }'
  chicago: Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted
    Equivalence for Subclasses of Propositional Logic.” <i>RAIRO - Theoretical Informatics
    and Applications</i>, 1993, 327–40. <a href="https://doi.org/10.1051/ita/1993270403271">https://doi.org/10.1051/ita/1993270403271</a>.
  ieee: A. Flögel, H. Kleine Büning, and T. Lettmann, “On the restricted equivalence
    for subclasses of propositional logic,” <i>RAIRO - Theoretical Informatics and
    Applications</i>, pp. 327–340, 1993.
  mla: Flögel, A., et al. “On the Restricted Equivalence for Subclasses of Propositional
    Logic.” <i>RAIRO - Theoretical Informatics and Applications</i>, 1993, pp. 327–40,
    doi:<a href="https://doi.org/10.1051/ita/1993270403271">10.1051/ita/1993270403271</a>.
  short: A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics
    and Applications (1993) 327–340.
date_created: 2020-10-01T08:10:48Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
doi: 10.1051/ita/1993270403271
language:
- iso: eng
page: 327-340
publication: RAIRO - Theoretical Informatics and Applications
publication_identifier:
  issn:
  - 0988-3754
  - 1290-385X
publication_status: published
status: public
title: On the restricted equivalence for subclasses of propositional logic
type: journal_article
user_id: '315'
year: '1993'
...
---
_id: '16743'
author:
- first_name: Bettina
  full_name: Just, Bettina
  last_name: Just
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: Avi
  full_name: Wigderson, Avi
  last_name: Wigderson
citation:
  ama: Just B, Meyer auf der Heide F, Wigderson A. On computations with integer division.
    <i>RAIRO - Theoretical Informatics and Applications</i>. 1989:101-111. doi:<a
    href="https://doi.org/10.1051/ita/1989230101011">10.1051/ita/1989230101011</a>
  apa: Just, B., Meyer auf der Heide, F., &#38; Wigderson, A. (1989). On computations
    with integer division. <i>RAIRO - Theoretical Informatics and Applications</i>,
    101–111. <a href="https://doi.org/10.1051/ita/1989230101011">https://doi.org/10.1051/ita/1989230101011</a>
  bibtex: '@article{Just_Meyer auf der Heide_Wigderson_1989, title={On computations
    with integer division}, DOI={<a href="https://doi.org/10.1051/ita/1989230101011">10.1051/ita/1989230101011</a>},
    journal={RAIRO - Theoretical Informatics and Applications}, author={Just, Bettina
    and Meyer auf der Heide, Friedhelm and Wigderson, Avi}, year={1989}, pages={101–111}
    }'
  chicago: Just, Bettina, Friedhelm Meyer auf der Heide, and Avi Wigderson. “On Computations
    with Integer Division.” <i>RAIRO - Theoretical Informatics and Applications</i>,
    1989, 101–11. <a href="https://doi.org/10.1051/ita/1989230101011">https://doi.org/10.1051/ita/1989230101011</a>.
  ieee: B. Just, F. Meyer auf der Heide, and A. Wigderson, “On computations with integer
    division,” <i>RAIRO - Theoretical Informatics and Applications</i>, pp. 101–111,
    1989.
  mla: Just, Bettina, et al. “On Computations with Integer Division.” <i>RAIRO - Theoretical
    Informatics and Applications</i>, 1989, pp. 101–11, doi:<a href="https://doi.org/10.1051/ita/1989230101011">10.1051/ita/1989230101011</a>.
  short: B. Just, F. Meyer auf der Heide, A. Wigderson, RAIRO - Theoretical Informatics
    and Applications (1989) 101–111.
date_created: 2020-04-20T11:49:38Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '63'
doi: 10.1051/ita/1989230101011
language:
- iso: eng
page: 101-111
publication: RAIRO - Theoretical Informatics and Applications
publication_identifier:
  issn:
  - 0988-3754
  - 1290-385X
publication_status: published
status: public
title: On computations with integer division
type: journal_article
user_id: '15415'
year: '1989'
...