Propositional logicde H. Kleine Büning, Hans Kleine Büning, Theodor LettmannMateriasComputer algorithmsComputer logicAlgorithmesAlgorithmeAutomatische bewijsvoeringLogique propositionnelleLogique (Informatique)AlgoritmenStructure de données
PProjections of vector addition system reachability sets are Projections of vector addition system reachability sets are semilinear