( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formalized Meta-Theory of Sequent Calculi for Substructural Logics.

, , и . LSFA, том 332 из Electronic Notes in Theoretical Computer Science, стр. 57-73. Elsevier, (2016)

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.

Antonio Lima

Mourad Limam

Irmtraut Liman-Bolley

Silvio Romero Frej Fonseca Lima

Jakob Limacher

 

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

Formalized Meta-Theory of Sequent Calculi for Substructural Logics., , и . LSFA, том 332 из Electronic Notes in Theoretical Computer Science, стр. 57-73. Elsevier, (2016)A Verified Proof Checker for Metric First-Order Temporal Logic., , , , и . Arch. Formal Proofs, (2024)Towards the Automated Generation of Focused Proof Systems., , и . WoF'15, том 197 из EPTCS, стр. 1-6. (2015)Artifact for "Proactive Real-Time First-Order Enforcement"., , , , и . (апреля 2024)Formalized meta-theory of sequent calculi for linear logics., , и . Theor. Comput. Sci., (2019)Spatial Analysis of School Network Applying Configurational Models., , , и . ICCSA (4), том 8582 из Lecture Notes in Computer Science, стр. 109-124. Springer, (2014)Comparison of Convolutional Neural Network Performances in Pain Facial Expression Recognition., , , , , , и . SIPAIM, стр. 1-4. IEEE, (2023)Explainable Online Monitoring of Metric First-Order Temporal Logic., , и . TACAS (1), том 14570 из Lecture Notes in Computer Science, стр. 288-307. Springer, (2024)Explainable Online Monitoring of Metric Temporal Logic., , , , и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 473-491. Springer, (2023)Quati: An Automated Tool for Proving Permutation Lemmas., , и . IJCAR, том 8562 из Lecture Notes in Computer Science, стр. 255-261. Springer, (2014)