( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Advances in Modal Logic 12, proceedings of the 12th conference on Ädvances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018

, , , и (Ред.) College Publications, (2018)

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.

Sabrina Metcalfe

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

Witold George

Hans George

George Glowik

 

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

Admissibility in Finitely Generated Quasivarieties, и . Logical Methods in Computer Science, (2013)A Real-Valued Modal Logic., , и . Log. Methods Comput. Sci., (2018)Uniform interpolation and compact congruences., , и . Ann. Pure Appl. Log., 168 (10): 1927-1948 (2017)Proof Systems for a Gödel Modal Logic., и . TABLEAUX, том 5607 из Lecture Notes in Computer Science, стр. 265-279. Springer, (2009)Goal-Directed Methods for Lukasiewicz Logic., , и . CSL, том 3210 из Lecture Notes in Computer Science, стр. 85-99. Springer, (2004)From Admissibility to a New Hierarchy of Unification Types., и . UNIF, стр. 41-46. (2014)Proof theory for lattice-ordered groups.. TACL, том 25 из EPiC Series in Computing, стр. 8. EasyChair, (2013)Density Elimination and Rational Completeness for First-Order Logics., и . LFCS, том 4514 из Lecture Notes in Computer Science, стр. 132-146. Springer, (2007)Herbrand Theorems for Substructural Logics., и . LPAR, том 8312 из Lecture Notes in Computer Science, стр. 584-600. Springer, (2013)Integrally Closed Residuated Lattices., , и . Stud Logica, 108 (5): 1063-1086 (2020)