Decidable Navigation Logics for Object Structures

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Computer Science Logic, 15th International Workshop (CSL 2001)
Editors	L. Fribourg
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	324-338
Number of pages	15
Publication status	Published - 2001

Keywords

@inproceedings{7e1d79c7e6df499eb51204219001cadf,

title = "Decidable Navigation Logics for Object Structures",

keywords = "Wiskunde en Informatica (WIIN)",

author = "{de Boer}, F.S. and {van Eijk}, R.M.",

year = "2001",

language = "Undefined/Unknown",

pages = "324--338",

editor = "{L. Fribourg}",

booktitle = "Computer Science Logic, 15th International Workshop (CSL 2001)",

publisher = "Springer",

}