Reasoning about naming systems

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ACM transactions on programming languages and systems 1993-11, Vol.15 (5), p.795-825
Hauptverfasser:	Bowman, Mic, Debray, Saumya K., Peterson, Larry L.
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Data management systems Database management system engines Database query processing Database query processing and optimization (theory) Database theory Exact sciences and technology Information retrieval Information systems Information systems. Data bases Memory organisation. Data processing Query languages Question answering Retrieval models and ranking Retrieval tasks and goals Software Theory and algorithms for application domains Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!