( en | de | ru )

 

Disambiguation of "Gelder, Allen Van"

Author of the publication

copydeleteadd this publication to your clipboard
Using the TPTP Language for Writing Derivations and Finite Interpretations.

, , , and . IJCAR, volume 4130 of Lecture Notes in Computer Science, page 67-81. Springer, (2006)

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.

Katrin Gelder

Theo Gelder

Alfons Gelder

Katrin Gelder

Gerd Gelder

 

Other publications of authors with the same name

Multiple Join Size Estimation by Virtual Domains.. PODS, page 180-189. ACM Press, (1993)Efficient tests for top-down termination of logical rules., and . J. ACM, 35 (2): 345-373 (1988)System/U: A Database System Based on the Universal Relation Assumption., , , , and . ACM Trans. Database Syst., 9 (3): 331-347 (1984)Anatomically based modeling., and . SIGGRAPH, page 173-180. ACM, (1997)Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning.. LPAR, volume 3835 of Lecture Notes in Computer Science, page 580-594. Springer, (2005)YAWN! (Yet Another Window on NAIL!)., , , , and . IEEE Data Eng. Bull., 10 (4): 28-43 (1987)PRAM Processor Allocation: A Hidden Bottleneck in Sublogarithmic Algorithms.. IEEE Trans. Computers, 38 (2): 289-292 (1989)A New Form of Circumscription for Logic Programs (Extended Abstract).. LPNMR, page 170-177. (1990)Logic programming for parallel implementation.. Stanford University, USA, (1986)Input Distance and Lower Bounds for Propositional Resolution Proof Length.. SAT, volume 3569 of Lecture Notes in Computer Science, page 282-293. Springer, (2005)