|
New
Generation Computing
May 2001 |
![]() |
| Regular Papers Constructive Negation and Constraint Logic Programming with Sets A. Dovier, E. Pontelli and G. Rossi Cooperation of Categorical and Behavioral Learning in a Practical Solution to the Abstraction Problem A. Ueno, H. Takeda Tutorial Series 2 Web Security: Authentication Protocols and Their Analysis W. Wen and F. Mizoguchi |