( en | de | ru )

 

Disambiguierung von "Jacobs, Bart"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Tutorial on (Co)Algebras and (Co)Induction

, und . Bulletin of the European Association for Theoretical Computer Science, (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bart Jacobs

Bart Cramer

Bart Maris

Bart Kersbergen

Bart Riel

 

Weitere Publikationen von Autoren mit dem selben Namen

Coinductive Predicates and Final Sequences in a Fibration, , , und . Electronic Notes in Theoretical Computer Science, 298 (0): 197 - 214 (2013)Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, \MFPS\ \XXIX\.Category Theory in Coq 8.5., und . FSCD, Volume 52 von LIPIcs, Seite 30:1-30:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)The EfProb Library for Probabilistic Calculations., und . CALCO, Volume 72 von LIPIcs, Seite 25:1-25:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Transferring Obligations Through Synchronizations., und . ECOOP, Volume 134 von LIPIcs, Seite 19:1-19:58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Lower and Upper Conditioning in Quantum Bayesian Theory.. QPL, Volume 287 von EPTCS, Seite 225-238. (2018)Java's Integral Types in PVS.. FMOODS, Volume 2884 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2003)Coalgebraic Components in a Many-Sorted Microcosm., , , und . CALCO, Volume 5728 von Lecture Notes in Computer Science, Seite 64-80. Springer, (2009)A Recipe for State-and-Effect Triangles.. CALCO, Volume 35 von LIPIcs, Seite 116-129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality., und . Log. Methods Comput. Sci., (2015)A Case Study in Class Library Verification: Java's Vector Class., , und . ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 109-110. Springer, (1999)