( en | de | ru )

 

Disambiguierung von "Jacobs, Bart"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Java's Integral Types in PVS.

. FMOODS, Volume 2884 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2003)

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\.Coalgebraic Components in a Many-Sorted Microcosm., , , und . CALCO, Volume 5728 von Lecture Notes in Computer Science, Seite 64-80. Springer, (2009)A Formalisation of Java's Exception Mechanism.. ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 284-301. Springer, (2001)Formal Specification and Verification of JavaCard's Application Identifier Class., , und . Java Card Workshop, Volume 2041 von Lecture Notes in Computer Science, Seite 137-150. Springer, (2000)Java's Integral Types in PVS.. FMOODS, Volume 2884 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2003)Lower and Upper Conditioning in Quantum Bayesian Theory.. QPL, Volume 287 von EPTCS, Seite 225-238. (2018)From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality., und . Log. Methods Comput. Sci., (2015)Comprehension Categories and the Semantics of Type Dependency.. Theor. Comput. Sci., 107 (2): 169-207 (1993)Object-oriented hybrid systems of coalgebras plus monoid actions.. Theor. Comput. Sci., 239 (1): 41-95 (2000)A Tutorial on (Co)Algebras and (Co)Induction, und . Bulletin of the European Association for Theoretical Computer Science, (1997)