A logic-algebraic approach to decision taking in a railway interlocking system (Q694549)

From MaRDI portal





scientific article; zbMATH DE number 6115330
Language Label Description Also known as
default for all languages
No label defined
    English
    A logic-algebraic approach to decision taking in a railway interlocking system
    scientific article; zbMATH DE number 6115330

      Statements

      A logic-algebraic approach to decision taking in a railway interlocking system (English)
      0 references
      0 references
      0 references
      0 references
      12 December 2012
      0 references
      railway interlocking systems
      0 references
      logic
      0 references
      decision theory
      0 references
      graph theory
      0 references

      Identifiers