Unranked tableaux calculus for web related applications
Besik Dundua, Lia Kurtanidze, Mikheil Rukhaia · 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) · 2017
In the present paper unranked tableaux calculus is discussed, which extends the classical first order tableaux calculus for formulas over unranked terms. The correctness and completeness theorems of the calculus are proved and its expressive power in Web-related applications are illustrated.