|
|||||
|
|
Programs, Proofs, Processes |
|
| Authors: | Fernando Ferreira Benedikt L?we Elvira Mayordomo |
| Affiliation: | 1. Departamento de Matem??tica, Faculdade de Ci??ncias, Universidade de Lisboa, Campo Grande, 1749-016, Lisboa, Portugal 2. Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE, Amsterdam, The Netherlands 3. Department Mathematik, Universit?t Hamburg, Bundesstrasse 55, 20146, Hamburg, Germany 4. Departamento de Inform??tica e Ingenier??a de Sistemas, Instituto de Investigaci??n en Ingenier??a de Arag??n (I3A), Universidad de Zaragoza, 50015, Zaragoza, Spain |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |