Skip to Main content Skip to Navigation
New interface


...
hal-00786148v1  Journal articles
Etienne GrandjeanFrédéric Olive. A logical approach to locality in pictures languages
Journal of Computer and System Sciences, 2016, 82 (06), pp.959 -1006. ⟨10.1016/j.jcss.2016.01.005⟩