Decidable Navigation Logics for Object Structures

DSpace/Manakin Repository

Decidable Navigation Logics for Object Structures
 
de Boer, F.S.; van Eijk, R.M.
(2001) Computer Science Logic, 15th International Workshop (CSL 2001), pp. 324 - 338
(Part of book)
Download/Full Text
Open Access version via Utrecht University Repository Publisher version
 
Keywords: Wiskunde en Informatica (WIIN), International
Publisher: Springer
(Peer reviewed)
 
See more statistics about this item