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 An Elementary Construction for a Non-elementary Procedure Maarten Marx
2002
72 2 p. 253-263
11 p.
artikel
2 A Note on Algebras of Substitutions Gábor Sági
2002
72 2 p. 265-284
20 p.
artikel
3 A Tableau Decision Algorithm for Modalized ALC with Constant Domains Carsten Lutz
2002
72 2 p. 199-232
34 p.
artikel
4 Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds Maarten Marx
2002
72 2 p. 233-252
20 p.
artikel
5 Equality and Monodic First-Order Temporal Logic Anatoli Degtyarev
2002
72 2 p. 147-156
10 p.
artikel
6 Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic Tarek Sayed Ahmed
2002
72 2 p. 285-309
25 p.
artikel
7 Monodic Packed Fragment with Equality is Decidable Ian Hodkinson
2002
72 2 p. 185-197
13 p.
artikel
8 Preface A. Kurucz
2002
72 2 p. 145-146
2 p.
artikel
9 Products of Modal Logics. Part 3: Products of Modal and Temporal Logics Dov Gabbay
2002
72 2 p. 157-183
27 p.
artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland
Toegankelijkheidsverklaring