Expressivité des logiques spatiales

Authors

Salvador Abreu, Luis Caires, Daniel Hirschkoff,