Specification and Verification of a Formal System for Structurally Recursive Functions.- A Predic...

This book presents a strictly refereed collection of revised full papers selected from the papers...

This book constitutes the refereed proceedings of the 6th International Conference on Natural Lan...