Author of the publication

Hyper Resolution and Equality Axioms without Function Substitutions.

, and . CADE, volume 449 of Lecture Notes in Computer Science, page 456-469. Springer, (1990)

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

Requirements and design spaces of mobile medical care., and . ACM SIGMOBILE Mob. Comput. Commun. Rev., 11 (3): 12-30 (2007)Network in a Box: Facilitating problem-based learning through network emulation.. Comput. Appl. Eng. Educ., 19 (3): 433-446 (2011)RASCor: Realtime Associative Stereo Correspondence., , and . ICIP (6), page 197-200. IEEE, (2007)RASCor: An associative hardware algorithm for real time stereo., and . Comput. Electr. Eng., 35 (3): 459-477 (2009)A Cloud to Mobile Application for Consumer Behavior Modification., , , , and . SCSE, volume 62 of Procedia Computer Science, page 343-351. Elsevier, (2015)A scalable distributed dynamic address allocation protocol for ad-hoc networks., and . Wireless Networks, 17 (2): 357-370 (2011)Wireless Sensor Networks.. Contributions to Ubiquitous Computing, volume 42 of Studies in Computational Intelligence, Springer, (2007)Quality of Support and priority Management in HomePNA 2.0 Link Layer., and . ISCC, page 861-866. IEEE Computer Society, (2003)Hyper Resolution and Equality Axioms without Function Substitutions., and . CADE, volume 449 of Lecture Notes in Computer Science, page 456-469. Springer, (1990)A novel similarity measure for compression and classification., and . ICASSP, page 2845-2848. IEEE, (1998)