Programmation logique And NotPilar Pozos Parra
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 004412 | YIN HUA LI [Australie] ; Salima Benbernou [France] | Representing and reasoning about privacy abstractions |
| 004D86 | Vitaly Lagoon [Australie] ; Fred Mesnard [France] ; Peter J. Stuckey [Australie] | Termination analysis with types is more accurate |
| 005B61 | M. W. Bunder [Australie] | Proof finding algorithms for implicational logics |
| 005E42 | S. Demri [France] ; R. Gore [Australie] | Tractable transformations from modal provability logics into first-order logic |
| 006215 | T. Armstrong [Australie] ; K. Marriott [Australie] ; P. Schachte [Australie] ; H. S Ndergaard [Australie] | Two classes of Boolean functions for dependency analysis |
| This area was generated with Dilib version V0.6.33. |  |