( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reductions for non-clausal theorem proving.

, , , и . Theor. Comput. Sci., 266 (1-2): 81-112 (2001)

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.

Agustín Grimoldi

Agustín Rodríguez

Agustín Corti

Agustín Seguí

Agustín Ramírez Alvarez

 

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

Multiple-Valued Tableaux with delta-reductions., , и . IC-AI, стр. 177-183. CSREA Press, (1999)Partial equilibrium logic., , , и . Ann. Math. Artif. Intell., 50 (3-4): 305-331 (2007)Interpolable Formulas in Equilibrium Logic and Answer Set Programming., , и . J. Artif. Intell. Res., (2011)Restricted Delta-Trees in Multiple-Valued Logics., , и . AIMSA, том 2443 из Lecture Notes in Computer Science, стр. 223-232. Springer, (2002)Implicates and Reduction Techniques for Temporal Logics., , и . JELIA, том 1489 из Lecture Notes in Computer Science, стр. 309-323. Springer, (1998)A Tableau Calculus for Equilibrium Entailment., , и . TABLEAUX, том 1847 из Lecture Notes in Computer Science, стр. 352-367. Springer, (2000)On the Logic and Computation of Partial Equilibrium Models., , , и . JELIA, том 4160 из Lecture Notes in Computer Science, стр. 82-94. Springer, (2006)Composing Submonads., , , , и . ISMVL, стр. 367-372. IEEE Computer Society, (2001)Reduction Theorems for Boolean Formulas Using Delta-Trees., , , , и . JELIA, том 1919 из Lecture Notes in Computer Science, стр. 179-192. Springer, (2000)Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning., и . JELIA, том 3229 из Lecture Notes in Computer Science, стр. 147-160. Springer, (2004)