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
A Feature Logic with Subsorts

. LILOG-Report, (1988)

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

A Verification of Extensible Record Types., and . IWAR, volume A-19 of IFIP Transactions, page 137-164. North-Holland, (1992)Records for Logic Programming., and . JICSLP, page 240-254. MIT Press, (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)A Feature Constraint System for Logic Programming with Entailment., , and . Theor. Comput. Sci., 122 (1&2): 263-283 (1994)Basic Narrowing Revisited., , and . J. Symb. Comput., 7 (3/4): 295-317 (1989)Definite Resolution over Constraint Languages, and . LILOG-Report, (1988)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)Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference., and . LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 417-431. Springer, (2010)Efficient logic variables for distributed computing., , , , , and . ACM Trans. Program. Lang. Syst., 21 (3): 569-626 (1999)Mobile Objects in Distributed Oz., , , , , and . ACM Trans. Program. Lang. Syst., 19 (5): 804-851 (1997)