( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Allgemein zugängliche und private Objekte im Hypertextsystem CONCORDE.

, , , и . Hypertext/Hypermedia, том 276 из Informatik-Fachberichte, стр. 212-222. Springer, (1991)

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.

Martin Hofmann

Martin Hofmann

Martin Hofmann

Martin Hofmann

Martin Hofmann

 

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

Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems, , , и . KI 2007: Advances in Artificial Intelligence, том 4667 из LNCS, стр. 468--472. Springer-Verlag, (2007)Analytical Inductive Programming as a Cognitive Rule Acquisition Device, , и . Second Conference on Artificial General Intelligence, стр. 162--167. Atlantis Press, (2009)Graphical Structure-Oriented Search in a Hypertext System., и . DEXA, стр. 179-184. Springer-Verlag, Wien, (1992)Typed Lambda Calculi and Applications 2003, Selected Papers., и . Fundam. Informaticae, (2005)Realizability models and implicit complexity., и . Theor. Comput. Sci., 412 (20): 2029-2047 (2011)Proof-Relevant Logical Relations for Name Generation., , и . CoRR, (2017)Sound and Complete Axiomatisations of Call-by-Value Control Operators.. Math. Struct. Comput. Sci., 5 (4): 461-482 (1995)A new method for establishing conservativity of classical systems over their intuitionistic version., и . Math. Struct. Comput. Sci., 9 (4): 323-333 (1999)A Semantic Proof of Polytime Soundness of Light Affine Logic., и . CSR, том 5010 из Lecture Notes in Computer Science, стр. 134-145. Springer, (2008)Biomedical and Chemical Named Entity Recognition with Conditional Random Fields: The Advantage of Dictionary Features., , , и . SMBM, том 177 из CEUR Workshop Proceedings, CEUR-WS.org, (2006)