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
 
                             11 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A compositional proof system on a category of labelled transition systems Winskel, Glynn
1990
87 1-2 p. 2-57
56 p.
artikel
2 A logic for reasoning about probabilities Fagin, Ronald
1990
87 1-2 p. 78-128
51 p.
artikel
3 A modest model of records, inheritance, and bounded quantification Bruce, Kim B.
1990
87 1-2 p. 196-240
45 p.
artikel
4 An algebra and a logic for NC 1 Compton, Kevin J.
1990
87 1-2 p. 241-263
23 p.
artikel
5 Author index for volume 87 1990
87 1-2 p. 339-
1 p.
artikel
6 Can LCF be topped? Flat lattice models of typed λ-calculus Bloom, Bard
1990
87 1-2 p. 264-301
38 p.
artikel
7 Editorial Board 1990
87 1-2 p. i-
1 p.
artikel
8 0–1 Laws and decision problems for fragments of second-order logic Kolaitis, Phokion G.
1990
87 1-2 p. 302-338
37 p.
artikel
9 Preface Gurevich, Yuri
1990
87 1-2 p. 1-
1 p.
artikel
10 Priorities in process algebras Cleaveland, Rance
1990
87 1-2 p. 58-77
20 p.
artikel
11 Rigid E-unification: NP-completeness and applications to equational matings Gallier, Jean
1990
87 1-2 p. 129-195
67 p.
artikel
                             11 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland