( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Planning with Effectively Propositional Logic.

, и . Programming Logics, том 7797 из Lecture Notes in Computer Science, стр. 302-316. Springer, (2013)

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.

Andrei Munk

Andrei Belitski

Andrei Negoescu

Andrei Lehmann

Andrei Verbovsky

 

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

Keynote talk: EasyChair.. ASE, стр. 3-4. ACM, (2014)The Decidability of Simultaneous Rigid E-Unification with One Variable., , , , и . RTA, том 1379 из Lecture Notes in Computer Science, стр. 181-195. Springer, (1998)Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking., и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 386-400. Springer, (2002)Partially Adaptive Code Trees., и . JELIA, том 1919 из Lecture Notes in Computer Science, стр. 209-223. Springer, (2000)Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order., и . RTA, том 2051 из Lecture Notes in Computer Science, стр. 137-153. Springer, (2001)Merging Relational Database Technology with Constraint Technology.. Ershov Memorial Conference, том 1181 из Lecture Notes in Computer Science, стр. 409-419. Springer, (1996)Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture)., и . CSL, том 2803 из Lecture Notes in Computer Science, стр. 546-573. Springer, (2003)Complexity of Some Problems in Modal and Intuitionistic Calculi., и . CSL, том 2803 из Lecture Notes in Computer Science, стр. 397-412. Springer, (2003)Equality Elimination for the Tableau Method., и . DISCO, том 1128 из Lecture Notes in Computer Science, стр. 46-60. Springer, (1996)Vampire 1.1 (System Description)., и . IJCAR, том 2083 из Lecture Notes in Computer Science, стр. 376-380. Springer, (2001)