Turning SOS Rules into Equations

Open Access
Authors
Publication date 1994
Journal Information and Computation
Volume | Issue number 111 | 1
Pages (from-to) 1-52
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Published at https://doi.org/10.1006/inco.1994.1040
Downloads
Permalink to this page
Back