Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             6 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A satisfiability tester for non-clausal propositional calculus Van Gelder, Allen
1988
79 1 p. 1-21
21 p.
artikel
2 Bisimulation of automata Benson, David B.
1988
79 1 p. 60-83
24 p.
artikel
3 Editorial Board 1988
79 1 p. i-
1 p.
artikel
4 Membership testing in commutative transformation semigroups Beaudry, Martin
1988
79 1 p. 84-93
10 p.
artikel
5 Some general incompleteness results for partial correctness logics Hortalá-González, M.Teresa
1988
79 1 p. 22-42
21 p.
artikel
6 The multi-tree approach to reliability in distributed networks Itai, Alon
1988
79 1 p. 43-59
17 p.
artikel
                             6 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland