Decidable Navigation Logics for Object Structures
Publication date
2001
Authors
de Boer, F.S.
van Eijk, Rogier
Editors
L. Fribourg
Advisors
Supervisors
DOI
Document Type
Part of book
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), International
Citation
de Boer, F S & van Eijk, R M 2001, Decidable Navigation Logics for Object Structures. in L. Fribourg (ed.), Computer Science Logic, 15th International Workshop (CSL 2001). Springer, Berlin, Germany, pp. 324-338.