Theoretical Computer Science

Fingerprint Dive into the research topics where Theoretical Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Semantics Engineering & Materials Science
Specifications Engineering & Materials Science
Algebra Engineering & Materials Science
Equivalence Mathematics
Axiomatization Mathematics
Bisimulation Mathematics
Term Mathematics
Rewriting Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1993 2019

A formal proof of Hensel's lemma over the p-adic integers

Lewis, R. Y., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 15-26 12 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Number theory
Polynomials

A Formal Proof of the Expressiveness of Deep Learning

Bentkamp, A., Blanchette, J. C. & Klakow, D., Aug 2019, In : Journal of Automated Reasoning. 63, 2, p. 347-368 22 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Image recognition
Bioinformatics
Computer science
Tensors
Polynomials

A verified prover based on ordered resolution

Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 152-165 14 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Specifications

Confluence of the Chinese Monoid

Endrullis, J. & Klop, J. W., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer Verlag, p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Confluence
Monoid
Monoids
Diagram
Rewriting

Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence

Fokkink, W., van Glabbeek, R. & Luttik, B., 1 Oct 2019, In : Information and Computation. 268, p. 1-31 31 p., 104435.

Research output: Contribution to JournalArticleAcademicpeer-review

Preservation
Congruence
Divides
Divergence
Semantics

Activities 2000 2015

Regularity-Preserving but not Reflecting Encodings

C.A. Grabmayer (Speaker)
9 Jul 2015

Activity: Lecture / PresentationAcademic

Nested Term Graphs

C.A. Grabmayer (Speaker)
13 Jul 2014

Activity: Lecture / PresentationAcademic

hogere orde en erste orde (ter ere van het afscheid van Vincent van Oostrom van de Universiteit Utrecht)

C.A. Grabmayer (Speaker)
2 Jul 2014

Activity: Lecture / PresentationAcademic

Maximal Sharing in the Lambda Calculus with Letrec

C.A. Grabmayer (Speaker)
1 Sep 2014

Activity: Lecture / PresentationAcademic

Electronic Proceedings in Theoretical Computer Science (Journal)

B. Luttik (Member of editorial board), F. Valencia (Member of editorial board)
2011

Activity: Peer review and Editorial workEditorial workAcademic