Implication as an Alternative to Set-Inclusion as the Semantic Primitive

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-07016-8_5

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg


Related search