Zoekresultaten
Resultaat 1 - 7 (van 7)
B.P.F. Jacobs Categorical logic and type theory
Non-fictie
Engels | 760 pagina's | Elsevier, Amsterdam [etc.] | 1999
Gedrukt boek
B.P.F. Jacobs Automata and behaviours in categories of processes
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
B.P.F. Jacobs The temporal logic of coalgebras via Galois algebras
Non-fictie
Engels | 27 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
U. Hensel | B.P.F. Jacobs Proof principles for datatypes with iterated recursion
Non-fictie
Engels | 16 pagina's | Katholieke Universiteit Nijmegen, Computing Science Institute, Faculty of Mathematics and Informatics, Nijmegen | 1997
Gedrukt boek
B.P.F. Jacobs Invariants, bisimulations and the correctness of coalgebraic refinements
Non-fictie
Engels | 18 pagina's | Katholieke Universiteit Nijmegen, Computing Science Institute, Faculty of Mathematics and Informatics, Nijmegen | 1997
Gedrukt boek
B.P.F. Jacobs Many-sorted coalgebraic modal logic: a model-theoretic study
Non-fictie
Engels | 26 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
M. Huisman | B.P.F. Jacobs Java program verification via a Hoare logic with abrupt termination
Non-fictie
Engels | 22 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek