Programmation logique And NotThomas Meyer
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. |