The security issues set by the global digitization of our society have had, and will continue to ...

For more than the last three decades, the security of software systems has been an important area...

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. Th...

?Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th centu...

This book shows how to improve working efficiency and achieve objectives based on 62 good working...

The security issues set by the global digitization of our society have had, and will continue to ...

In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebr...

For more than the last three decades, the security of software systems has been an important a...

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday....

Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th centur...

Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th centur...