Programmation logique And NotM. W. Bunder
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 |
004513 | Thomas Meyer [Australie] ; Pilar Pozos Parra [Australie] ; Laurent Perrussel [France] | Mediation using m-states |
004D86 | Vitaly Lagoon [Australie] ; Fred Mesnard [France] ; Peter J. Stuckey [Australie] | Termination analysis with types is more accurate |
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. |