Author of the publication

Copyright Issues for MKM.

, and . MKM, volume 3119 of Lecture Notes in Computer Science, page 1-16. Springer, (2004)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ripples down under: New Zealand youngsters' attitudes and conduct following Snowden., , and . J. Inf., Comm, Ethics in Society, 15 (3): 297-310 (2017)Snowden's revelations and the attitudes of students at Swedish universities., , , and . J. Inf., Comm, Ethics in Society, 15 (3): 247-264 (2017)A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs.. LMS J. Comput. Math., (2000)Computer Algebra and Automated Reasoning.. ARW, volume 32 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)VSDITLU: a verifiable symbolic definite integral table look-up., , , and . CADE, volume 1632 of Lecture Notes in Computer Science, page 112-126. Springer, (1999)Theorizing Deception: A Scoping Review of Theory in Research on Dark Patterns and Deceptive Design., , and . CHI Extended Abstracts, page 321:1-321:7. ACM, (2024)Copyright Issues for MKM., and . MKM, volume 3119 of Lecture Notes in Computer Science, page 1-16. Springer, (2004)Snowden seems to have more social impact in the people's republic of China than in the republic of China, but., , , , , and . SIGCAS Comput. Soc., 45 (3): 384-392 (2015)Following Snowden, German uncertainty about monitoring., , and . J. Inf., Comm, Ethics in Society, 15 (3): 232-246 (2017)Digitisation, Representation, and Formalisation.. MKM, volume 2594 of Lecture Notes in Computer Science, page 1-16. Springer, (2003)