PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Smolka, Gert"

Author of the publication

copydeleteadd this publication to your clipboard
Generating Propagators for Finite Set Constraints.

, , and . CP, volume 4204 of Lecture Notes in Computer Science, page 575-589. 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.

Prof. Dr. Gert Denninger University of Stuttgart

Prof. Dr. -Ing. Karl Gertis University of Stuttgart

apl. Prof. Dr. Hans-Gert Braun University of Stuttgart

 

Other publications of authors with the same name

Basic Narrowing Revisited., , and . J. Symb. Comput., 7 (3/4): 295-317 (1989)Definite Resolution over Constraint Languages, and . LILOG-Report, (1988)A Feature Constraint System for Logic Programming with Entailment., , and . Theor. Comput. Sci., 122 (1&2): 263-283 (1994)A Verification of Extensible Record Types., and . IWAR, volume A-19 of IFIP Transactions, page 137-164. North-Holland, (1992)Terminating Tableaux for SOQSOQ with Number Restrictions on Transitive Roles., and . IFIP TCS, volume 323 of IFIP Advances in Information and Communication Technology, page 213-228. Springer, (2010)Records for Logic Programming., and . JICSLP, page 240-254. MIT Press, (1992)Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure., and . GWAI, volume 47 of Informatik-Fachberichte, page 199-200. Springer, (1981)Analytic Tableaux for Simple Type Theory and its First-Order Fragment, and . Logical Methods in Computer Science, (2010)A Minimal Propositional Type Theory, and . CoRR, (2010)Representation and Reasoning with Attributive Descriptions., and . Sorts and Types in Artificial Intelligence, volume 418 of Lecture Notes in Computer Science, page 112-139. Springer, (1989)