( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Stable Models of a Predicate Logic Program.

, , и . JICSLP, стр. 446-460. MIT Press, (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.

Andreas Remmel

Heinz Remmel

Klaus Remmel

Anton Remmel

Friedrich Remmel

 

Другие публикации лиц с тем же именем

A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems., , и . Ann. Pure Appl. Log., 67 (1-3): 269-323 (1994)A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs., и . ISAIM, (2008)Polynomially Grade Logic I: A Graded Version of System T, , и . LICS, стр. 375-385. IEEE Computer Society, (1989)On the Complexity of Abduction., , и . LICS, стр. 513-522. IEEE Computer Society, (1996)A Method to Compute the Sparse Graphs for Traveling Salesman Problem Based on Frequency Quadrilaterals., и . FAW, том 10823 из Lecture Notes in Computer Science, стр. 286-299. Springer, (2018)Effective Categoricity of Injection Structures., , и . CiE, том 6735 из Lecture Notes in Computer Science, стр. 51-60. Springer, (2011)Augmented Rook Boards and General Product Formulas., и . Electr. J. Comb., (2008)Automata and Answer Set Programming., и . LFCS, том 5407 из Lecture Notes in Computer Science, стр. 323-337. Springer, (2009)Rook Theory, Generalized Stirling Numbers and (p, q)-Analogues., и . Electron. J. Comb., (2004)Set Based Logic Programming., и . Nonmonotonic Reasoning, Answer Set Programming and Constraints, том 05171 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)