DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — minimize can be used to express reachability models

  • Key: DOL-90
  • Status: open  
  • Source: Otto von Guericke University of Magdeburg ( Fabian Neuhaus)
  • Summary:

    If applied to algebraic signatures (sorts + operation symbols), minimize can be used to express reachability (i.e. term-generatedness) of first-order models. This should be clarified in the standard.

  • Reported: DOL 1.0b1 — Thu, 10 Aug 2017 21:22 GMT
  • Updated: Tue, 22 Aug 2017 00:48 GMT
  • Attachments: