Relational methods in computer science
Relational depth-first-search with applications
On the completeness of propositional Hoare logic
Parallel composition and decomposition of specifications
Multigrade extension of relational grammar
A new algebraic approach to L-fuzzy relations convenient to study crispness
Characterizing determinacy in Kleene algebras
Closure systems and their structure
Author index to volumes 131 to 139
Title index to volumes 131 to 139
Volume contents for 2001