Author of the publication

Normal forms and syntactic completeness proofs for functional independencies.

, , , and . Theor. Comput. Sci., 266 (1-2): 365-405 (2001)

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

Determination of the closed-form workspace area expression and dimensional optimization of planar parallel manipulators., , , , , , , and . Robotica, 35 (10): 2056-2075 (2017)Myriad: Design and Implementation of a Federated Database Prototype., , , , and . Softw. Pract. Exp., 25 (5): 533-562 (1995)Analysis and application of an overlapped FEM-BEM for wave propagation in unbounded and heterogeneous media., and . CoRR, (2021)MRI Brain Image Segmentation Using Enhanced Adaptive Fuzzy K-Means Algorithm., , and . Intell. Autom. Soft Comput., 23 (2): 325-330 (2017)Design, static analysis, and dynamic system modeling of 3-PPRS parallel manipulator with load-balancing UPS leg., and . Robotica, 41 (9): 2735-2753 (September 2023)Tableaux for Functional Dependencies and Independencies., , , and . TABLEAUX, volume 1227 of Lecture Notes in Computer Science, page 358-372. Springer, (1997)A discrete Galerkin method for a catalytic combustion model, and . Computers & Mathematics with Applications, 41 (12): 1545-1557 (2001/6 2001)TY - JOUR.The MYRIAD Federated Database Prototype., , , , , , , , and . SIGMOD Conference, page 518. ACM Press, (1994)Normal forms and syntactic completeness proofs for functional independencies., , , and . Theor. Comput. Sci., 266 (1-2): 365-405 (2001)Static Characteristic Analysis of Spatial (Non-Planar) Links in Planar Parallel Manipulator., , , and . Robotica, 39 (1): 88-106 (2021)