Author of the publication

Functional Completeness and Weak Completeness in Set Logic.

, , and . ISMVL, page 251-256. IEEE Computer Society, (1993)

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

Characterizing Intermediate Conformations in Protein Conformational Space., , and . CIBB, volume 7845 of Lecture Notes in Computer Science, page 70-80. Springer, (2012)Edge Evaluation in Bayesian Network Structures., and . AusDM, volume 101 of CRPIT, page 193-200. Australian Computer Society, (2009)On the Existence of a Periodic Analog of a Finite Connected Automaton., and . IEEE Trans. Computers, 21 (2): 208-211 (1972)On Some Measures on Free Semigroups Induced by Semiautomata.. MFCS, page 313-316. Mathematical Institute of the Slovak Academy of Sciences, (1973)Evaluating Bayesian Networks by Sampling with Simplified Assumptions., and . EGC, volume RNTI-E-23 of Revue des Nouvelles Technologies de l'Information, page 11-16. Hermann-Éditions, (2012)Detecting eye fixations by projection clustering., , , and . ACM Trans. Multim. Comput. Commun. Appl., 3 (4): 5:1-5:20 (2007)Approximate Computation of Object Distances by Locality-Sensitive Hashing., and . DMIN, page 714-718. CSREA Press, (2008)On Information-Theoretical Aspects of Relational Databases., and . Finite Versus Infinite, Springer, (2000)Review of "The classical decision problem" by Egon Börger, Erich Grädel and Yuri Gurevich. Springer-Verlag 1997.. SIGACT News, 35 (1): 4-7 (2004)Classification with Streaming Features: An Emerging-Pattern Mining Approach., , , , , and . ACM Trans. Knowl. Discov. Data, 9 (4): 30:1-30:31 (2015)