( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A New Basic Set of Transformations between Proofs.

, и . We Will Show Them! (2), стр. 499-528. College Publications, (2005)

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.

B J Biringer

Heiko B G Franz

Heiko B G Franz

Thomas B de Vries

Irene B ˜deœ Alleluia

 

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

22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015)., , , и . Logic Journal of the IGPL, 24 (5): 859 (2016)Reviewing some clauses of cloud-based Google's Agreements in Brazil., и . LatinCloud, стр. 47-52. IEEE, (2013)Logic, Language, Information and Computation., и . Ann. Pure Appl. Log., 152 (1-3): 1-2 (2008)Editorial.. Logic Journal of the IGPL, 3 (4): 532-533 (1995)Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS)., , , и . Logic Journal of the IGPL, 6 (4): 651-663 (1998)Conference Report: Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS)., и . Logic Journal of the IGPL, 6 (4): 651-663 (1998)Towards a homotopy domain theory., и . Arch. Math. Log., 62 (3-4): 559-579 (мая 2023)Preface., и . WoLLIC, том 123 из Electronic Notes in Theoretical Computer Science, стр. 1-3. Elsevier, (2004)A New Basic Set of Transformations between Proofs., и . We Will Show Them! (2), стр. 499-528. College Publications, (2005)Labelled Abduction., и . SBIA, том 991 из Lecture Notes in Computer Science, стр. 91-100. Springer, (1995)