BRICS

Results: 891



#Item
171

BRICS RSKirkegaard & Møller: Type Checking with XML Schema in X ACT BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2005-11-21 15:58:51
    172Graph / Matching / Bipartite graph / Independent set / Matroid theory / Tutte polynomial / Path decomposition / Graph theory / Mathematics / NP-complete problems

    BRICS Basic Research in Computer Science BRICS RSHangos et al.: Some Complexity Problems on Single Input Double Output Controllers Some Complexity Problems on

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2001-05-28 05:33:34
    173

    BRICS Basic Research in Computer Science BRICS RSAceto et al.: Equational Theories of Tropical Semirings Equational Theories of Tropical Semirings

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2001-06-11 08:03:56
      174Logic in computer science / Process calculi / Sheaf theory / Π-calculus / Programming language semantics / Bisimulation / Presheaf / Coinduction / Process calculus / Mathematics / Theoretical computer science / Applied mathematics

      BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-09-10 12:36:02
      175

      PDF Document

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 2002-06-07 06:58:32
        176

        PDF Document

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 2005-10-07 10:10:36
          177

          BRICS Basic Research in Computer Science BRICS RSCrazzolara & Winskel: Language, Semantics, and Methods for Cryptographic Protocols Language, Semantics, and Methods for

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 2000-08-30 09:04:03
            178

            BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 2005-08-08 08:33:25
              179

              BRICS Basic Research in Computer Science BRICS RSBruni et al.: Petri Nets and the Collective Token Philosophy A Comparison of Petri Net Semantics under

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 1998-09-17 06:38:10
                180

                BRICS Basic Research in Computer Science BRICS RSAceto et al.: Nested Semantics over Finite Trees are Equationally Hard Nested Semantics over Finite Trees are

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 2003-08-19 07:33:33
                  UPDATE