University of Cologne

Computer Science Department

Computer Science Publication Server

Atom RSS 1.0 RSS 2.0

Menu
- - Login

Items where Subject is "03-XX Mathematical logic and foundations > 03Bxx General logic"

MSC Classification Numbers (643)
- 03-XX Mathematical logic and foundations (22)
  - 03Bxx General logic (22)
    - 03B05 Classical propositional logic (17)
    - 03B70 Logic in computer science (2)
    - 03B99 None of the above, but in this section (2)

Number of items at this level: 1.

Franco, John and Gallo, Giorgio and Kleine Büning, Hans and Speckenmeyer, Ewald and Spera, Cosimo (1996) Workshop on the satisfiability problem.
Technical Report , 165 p.

This list was generated on Mon Aug 21 04:02:37 2017 CEST.