Browsing by Subject "Ausdrucksstärke"

Sort by: Order: Results:

  • Lück, Martin (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2020)
    Team semantics is an extension of classical logic where statements do not refer to single states of a system, but instead to sets of such states, called teams. This kind of semantics has applications for example in ...