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
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A generalized nexttime operator in temporal logic Kröger, F.
1984
29 1 p. 80-98
19 p.
artikel
2 An n log n algorithm for determining the congruity of polyhedra Sugihara, Kōkichi
1984
29 1 p. 36-47
12 p.
artikel
3 Commutative One-counter languages are regular Latteux, M.
1984
29 1 p. 54-57
4 p.
artikel
4 Complete problems in the first-order predicate calculus Plaisted, David A.
1984
29 1 p. 8-35
28 p.
artikel
5 Consistency in nondeterministic storage Savitch, Walter J.
1984
29 1 p. 118-132
15 p.
artikel
6 Exponential bounds for the running time of a selection algorithm Devroye, Luc
1984
29 1 p. 1-7
7 p.
artikel
7 Finding pseudoperipheral nodes in graphs Pachl, Jan K.
1984
29 1 p. 48-53
6 p.
artikel
8 On the fixpoints of nondeterministic recursive definitions Chen, Tsong Yueh
1984
29 1 p. 58-79
22 p.
artikel
9 Weak equivalence in a class of structured program schemes Troeger, Douglas R.
1984
29 1 p. 99-117
19 p.
artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland