BRICS

Results: 891



#Item
291

BRICS Basic Research in Computer Science BRICS RSBalat & Danvy: Strong Normalization Strong Normalization by

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 1998-03-20 10:03:23
    292

    BRICS Basic Research in Computer Science BRICS RSBrabrand et al.: Language-Based Caching of Dynamically Generated HTML Language-Based Caching of

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2001-05-28 04:27:48
      293

      BRICS Basic Research in Computer Science BRICS RSHune et al.: Guided Synthesis of Control Programs for a Batch Plant using U PPAAL Guided Synthesis of Control Programs for

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-02-19 07:53:57
        294

        BRICS RSCattani & Winskel: Profunctors, Open Maps and Bisimulation BRICS Basic Research in Computer Science

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2004-10-27 09:38:40
          295

          BRICS Basic Research in Computer Science BRICS RS-02-4 Danvy & Nielsen: Syntactic Theories in Practice

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2002-02-04 09:51:39
            296

            BRICS RS-06-5 K. Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative BRICS Basic Research in Computer Science

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2006-03-06 18:15:31
              297

              BRICS Basic Research in Computer Science BRICS RSBuhrman et al.: Quantum Entanglement and Communication Complexity Quantum Entanglement

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 1998-01-06 11:10:25
                298

                BRICS Basic Research in Computer Science BRICS RSHune & Sandholm: Using Automata in Control Synthesis — A Case Study Using Automata in Control Synthesis

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2000-09-12 08:22:13
                  299

                  India: How To Leverage its Growth Story Aileen Nandi Commercial Officer MBITA BRICs Conference

                  Add to Reading List

                  Source URL: mbita.org

                  Language: English - Date: 2013-06-13 17:57:09
                    300

                    BRICS BRICS RSBasic Research in Computer Science

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 1997-02-28 08:09:21
                      UPDATE