Author of the publication

Improving strategies for handling undefined variables.

, and . ACM Southeast Regional Conference, page 182-187. ACM, (1992)

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

Graph Representation., , , , , and . Handbook of Graph Theory, Chapman & Hall / Taylor & Francis, (2003)Automatic Generation of Linear-Time Algorithms from Predicate Calculus Descriptions of Problems on Recursively Constructed Graph Families., , and . Algorithmica, 7 (5&6): 555-581 (1992)Computer Engineering, Computer Science and Management Information Systems: Partners in a Unified Software Engineering Curriculum., , , , , , , and . CSEE&T, page 67-75. IEEE Computer Society, (1998)Agent Coordination with Regret Clearing., , , , , , and . AAAI, page 101-107. AAAI Press, (2008)Logic design programming assignments in a first-year course., , , , , and . Computers and Their Applications, page 412-414. ISCA, (2000)On minimum cuts and the linear arrangement problem., , and . Discrete Applied Mathematics, 103 (1-3): 127-139 (2000)Improving strategies for handling undefined variables., and . ACM Southeast Regional Conference, page 182-187. ACM, (1992)Automated flow graph-based testing of object-oriented software modules., , and . Journal of Systems and Software, 23 (2): 95-109 (1993)Deterministic Decomposition of Recursive Graph Classes., , and . SIAM J. Discrete Math., 4 (4): 481-501 (1991)Algorithms for recognition of regular properties and decomposition of recursive graph families., , and . Annals OR, 33 (3): 125-149 (1991)