( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A New Foundation for Nominal Isabelle.

, и . ITP, том 6172 из Lecture Notes in Computer Science, стр. 35-50. Springer, (2010)

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.

Christian Urban

Christian Moritz Urban

Jan Christian Urban

Urban

Gerhard Urban

 

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

Strong Normalisation of Cut-Elimination in Classical Logic., и . Fundam. Informaticae, 45 (1-2): 123-155 (2001)A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl)., , и . ITP, том 6898 из Lecture Notes in Computer Science, стр. 341-356. Springer, (2011)A New Foundation for Nominal Isabelle., и . ITP, том 6172 из Lecture Notes in Computer Science, стр. 35-50. Springer, (2010)A Formal Model and Correctness Proof for an Access Control Policy Framework., , и . CPP, том 8307 из Lecture Notes in Computer Science, стр. 292-307. Springer, (2013)Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof., и . RTA, том 5117 из Lecture Notes in Computer Science, стр. 409-424. Springer, (2008)Quotients revisited for Isabelle/HOL., и . SAC, стр. 1639-1644. ACM, (2011)Formal SOS-Proofs for the Lambda-Calculus., и . LSFA, том 247 из Electronic Notes in Theoretical Computer Science, стр. 139-155. Elsevier, (2008)Strong Normalisation of Cut-Elimination in Classical Logic., и . TLCA, том 1581 из Lecture Notes in Computer Science, стр. 365-380. Springer, (1999)Strong Normalisation for a Gentzen-like Cut-Elimination Procedure.. TLCA, том 2044 из Lecture Notes in Computer Science, стр. 415-430. Springer, (2001)POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)., , и . ITP, том 9807 из Lecture Notes in Computer Science, стр. 69-86. Springer, (2016)