A Proof System for Finite Trees

Authors:
Patrick Blackburn;Wilfried Meyer-Viol;Maarten de Rijke
Affiliations:
-;-;-
Venue:
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Year:
1995

Zooming In, Zooming Out

Journal of Logic, Language and Information
Modal logics for finite graphs

Logic for concurrency and synchronisation
Semantic characterizations of navigational XPath

ACM SIGMOD Record
Conditional XPath

ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Temporal Logics for Representing Agent Communication Protocols

Agent Communication II
Querying Linguistic Trees

Journal of Logic, Language and Information
First order paths in ordered trees

ICDT'05 Proceedings of the 10th international conference on Database Theory
Model-Checking Parse Trees

LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Hi-index	0.00