Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
1993 | Journal Article | LibreCat-ID: 19814
Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted Equivalence for Subclasses of Propositional Logic.” RAIRO - Theoretical Informatics and Applications, 1993, 327–40. https://doi.org/10.1051/ita/1993270403271.
LibreCat
| DOI
1989 | Journal Article | LibreCat-ID: 16743
Just, Bettina, Friedhelm Meyer auf der Heide, and Avi Wigderson. “On Computations with Integer Division.” RAIRO - Theoretical Informatics and Applications, 1989, 101–11. https://doi.org/10.1051/ita/1989230101011.
LibreCat
| DOI