Author of the publication

Syntactic Decision Procedures in Information Systems.

. Int. J. Man Mach. Stud., 30 (3): 273-285 (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Syntactic Decision Procedures in Information Systems.. Int. J. Man Mach. Stud., 30 (3): 273-285 (1989)Automating Algebraic Proofs in Algebraic Logic., and . Fundam. Informaticae, 28 (1-2): 129-140 (1996)A Model of RSDM Implementation., , and . Rough Sets and Current Trends in Computing, volume 1424 of Lecture Notes in Computer Science, page 186-193. Springer, (1998)Topological Interpretation of Interactive Computation., and . From Reactive Systems to Cyber-Physical Systems, volume 11500 of Lecture Notes in Computer Science, page 205-224. Springer, (2019)From Logic to Computer Science - A Personal Experience.. Rough Sets and Intelligent Systems (2), volume 43 of Intelligent Systems Reference Library, Springer, (2013)A Classification Model: Syntax and Semantics for Classification., and . RSFDGrC (2), volume 3642 of Lecture Notes in Computer Science, page 59-68. Springer, (2005)Data Preprocessing and Data Mining as Generalization., and . Data Mining: Foundations and Practice, volume 118 of Studies in Computational Intelligence, Springer, (2008)Logics for Computer Science - Classical and Non-Classical. Springer, (2018)Global Mobile Applications For Monitoring Health., , and . IMCSIT, page 855-859. IEEE, (2010)Knowledge Representation Systems: Syntactic Methods.. IPMU, volume 313 of Lecture Notes in Computer Science, page 239-254. Springer, (1988)