default search action
60th Birthday:
Herman Geuvers 2024
- Venanzio Capretta
, Robbert Krebbers, Freek Wiedijk:
Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 14560, Springer 2024, ISBN 978-3-031-61715-7 - Jos C. M. Baeten, Bas Luttik:
Sequential Value Passing Yields a Kleene Theorem for Processes. 1-16 - Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri:
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. 17-35 - Yves Bertot
Safe Smooth Paths Between Straight Line Obstacles. 36-53 - Lasse Blaauwbroek, David M. Cerna
Learning Guided Automated Reasoning: A Brief Survey. 54-83 - Bart Bogaerts
Approximation Fixpoint Theory in Coq - With an Application to Logic Programming. 84-99 - Wieb Bosma, Henk Don:
Constructing Morphisms for Arithmetic Subsequences of Fibonacci. 100-110 - Thierry Coquand
A Variation of Reynolds-Hurkens Paradox. 111-117 - Tonny Hurkens:
Between Brackets. 118-133 - Bart Jacobs:
Some Probabilistic Riddles and Some Logical Solutions. 134-149 - Jeroen J. A. Keiren
It's All a Game - Apartness and Bisimilarity. 150-167 - Dexter Kozen, Alexandra Silva:
Multisets and Distributions. 168-187 - Jan Martens
Minimal Depth Distinguishing Formulas Without Until for Branching Bisimulation. 188-202 - Jurriaan Rot, Sebastian Junges, Harsh Beohar:
Relating Apartness and Branching Bisimulation Games. 203-213 - Sebastiaan A. Terwijn:
Fixed Point Theorems in Computability Theory. 214-224 - Frits W. Vaandrager
A New Perspective on Conformance Testing Based on Apartness. 225-240 - Niels van der Weide
The Interval Domain in Homotopy Type Theory. 241-256 - Hans Zantema:
Characterizing Morphic Sequences. 257-272
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-03 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: