Deductive Systems and the Decidability Problem for Hybrid Logics
Publisher: Columbia University Press
Published: 2014
Language: eng
Number of pages: 232
ISBN-13: 9788323336952
Subjects: Logic, symbolic and mathematical; Deductive databases