Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th 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
a service of 
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-06-29 00:44 CEST 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:
