![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban:
Learning Guided Automated Reasoning: A Brief Survey. 54-83 - Bart Bogaerts
, Luís Cruz-Filipe
:
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
, Tim A. C. Willemse
:
It's All a Game - Apartness and Bisimilarity. 150-167 - Dexter Kozen, Alexandra Silva:
Multisets and Distributions. 168-187 - Jan Martens
, Jan Friso Groote
:
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
, Dan Frumin
:
The Interval Domain in Homotopy Type Theory. 241-256 - Hans Zantema:
Characterizing Morphic Sequences. 257-272
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.