Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             4 results found
no title author magazine year volume issue page(s) type
1 Automata-Theoretic Decision Procedures for Information Logics St├ęphane Demri
2003
53 1 p. 1-22
article
2 Complexity of the Unique Extension Problem in Default Logic Xishun Zhao
2003
53 1 p. 79-104
article
3 Concept lattices and similarity in non-commutative fuzzy logic George Georgescu
2003
53 1 p. 23-54
article
4 Process Algebra with Nonstandard Timing Kees A. Middelburg
2003
53 1 p. 55-77
article
                             4 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands