BRICS

Results: 891



#Item
201

BRICS RS-08-5 Danvy & Johannsen: Inter-Deriving Semantic Artifacts for Object-Oriented Programming BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

- Date: 2008-06-27 05:21:55
    202

    BRICS Basic Research in Computer Science BRICS RSL. Kristiansen: The Implicit Computational Complexity of Imperative Programming Languages The Implicit Computational Complexity of

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 2001-11-23 08:11:14
      203

      BRICS Basic Research in Computer Science ´ BRICS RSEsik & N´emeth: Higher Dimensional Automata

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 2002-11-20 04:52:21
        204

        BRICS Basic Research in Computer Science BRICS RSDamg˚ard & Frandsen: Extended Quadratic Frobenius Test An Extended Quadratic

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 2001-11-19 05:00:17
          205

          BRICS Basic Research in Computer Science ´ BRICS RSEsik & Leiß: Greibach Normal Form in Algebraically Complete Semirings

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 2003-01-07 05:40:12
            206

            BRICS BRICS DS-96-4 Basic Research in Computer Science

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 2000-06-22 05:38:26
              207

              BRICS RSH. K. Rohde: Measuring the Propagation of Information in Partial Evaluation BRICS Basic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 2005-10-07 07:33:15
                208

                BRICS Basic Research in Computer Science BRICS RSCurien et al.: Bistructures, Bidomains and Linear Logic Bistructures, Bidomains and Linear Logic

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 1997-09-05 05:07:30
                  209

                  BRICS Basic Research in Computer Science BRICS RSV. N. Variyam: A Note on NP ∩ coNP/poly

                  Add to Reading List

                  Source URL: www.brics.dk

                  - Date: 2000-09-05 07:46:14
                    210

                    BRICS Basic Research in Computer Science BRICS DS-02-5 R. Pagh: Hashing, Randomness and Dictionaries

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2004-03-29 09:24:27
                      UPDATE