(Q106245753)

English

Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016

academic conference

  • 26th LOPSTR 2016: Edinburgh, UK

Statements

Logic-Based Program Synthesis and Transformation - 26th International Symposium (English)

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit