Algebraic Valuations as Behavioral Logical Matrices

Carlos Caleiro, Ricardo Gonçalves. Algebraic Valuations as Behavioral Logical Matrices. In Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings. Volume 5514 of Lecture Notes in Computer Science, pages 13-25, Springer, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.