Accès à distance ? S'identifier sur le proxy UCLouvain
Logic Program Synthesis From Incomplete Specifications
Primary tabs
Flener, P.
Deville, Yves
[UCL]
| Document type | Article de périodique (Journal article) – Article de recherche |
|---|---|
| Access type | Accès restreint |
| Publication date | 1993 |
| Language | Anglais |
| Journal information | "Journal of Symbolic Computation" - Vol. 15, no. 5-6, p. 775-805 (1993) |
| Peer reviewed | yes |
| Publisher | Academic Press Ltd (London) |
| issn | 0747-7171 |
| e-issn | 1095-855X |
| Publication status | Publié |
| Affiliation | UCL - FSA/INGI - Département d'ingénierie informatique |
| Links |
| Bibliographic reference | Flener, P. ; Deville, Yves. Logic Program Synthesis From Incomplete Specifications. In: Journal of Symbolic Computation, Vol. 15, no. 5-6, p. 775-805 (1993) |
|---|---|
| Permanent URL | http://hdl.handle.net/2078.1/49590 |