BRICS

Results: 891



#Item
221

BRICS Basic Research in Computer Science BRICS RSMiltersen et al.: On converting CNF to DNF On converting CNF to DNF

Add to Reading List

Source URL: www.brics.dk

- Date: 2004-01-31 02:31:00
    222

    BRICS Basic Research in Computer Science BRICS RSNielsen & Agha: Towards Re-usable Real-Time Objects Towards Re-usable Real-Time Objects

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 1999-03-25 08:40:01
      223

      BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the arithmetical content of restricted forms of comprehension On the Arithmetical Content of

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 1997-10-01 04:19:44
        224

        BRICS Basic Research in Computer Science BRICS RSC´accamo & Winskel: A Higher-Order Calculus for Categories A Higher-Order Calculus for Categories

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 2001-09-06 05:16:59
          225

          Priority Queues Resilient to Memory Faults Allan Grønlund Jørgensen1,⋆ , Gabriel Moruz1 , and Thomas Mølhave1,⋆⋆ BRICS⋆ ⋆ ⋆ , MADALGO† , Department of Computer Science, University of Aarhus, Denmark. E-m

          Add to Reading List

          Source URL: www.cs.duke.edu

          - Date: 2014-03-13 08:13:55
            226

            BRICS Basic Research in Computer Science BRICS RSCamenisch & Michels: Proving that a Number is the Product of Two Safe Primes Proving in Zero-Knowledge that a Number

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 1998-12-11 04:52:33
              227

              BRICS Basic Research in Computer Science BRICS DS-03-8 J. B. Nielsen: On Protocol Security in the Cryptographic Model

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 2004-03-22 12:21:42
                228

                BRICS Basic Research in Computer Science BRICS RS-00-6 Damg˚ard & Nielsen: Improved Non-Committing Encryption Schemes

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 2000-03-20 09:40:24
                  229

                  THE COST OF REGULATION - TOWARDS A MORE SUSTAINABLE HOUSING CONSTRUCTION IN THE BRICS ANTHONY BOANADA-FUCHS BOANADA-FUCHS* IHEID GENEVA. The recent numeric shift from a rural to a predominantly urban world underlines th

                  Add to Reading List

                  Source URL: www.isecoeco.org

                  - Date: 2014-08-13 11:25:27
                    230

                    BRICS Basic Research in Computer Science BRICS RSU. Nestmann: What is a ‘Good’ Encoding of Guarded Choice? What is a

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2000-01-10 04:47:16
                      UPDATE