Sciweavers

11395 search results - page 156 / 2279
» Beyond computer science
Sort
View
131
Voted
STACS
1998
Springer
15 years 10 months ago
Optimal Proof Systems for Propositional Logic and Complete Sets
Jochen Meßner, Jacobo Torán
WG
1998
Springer
15 years 10 months ago
Rankings of Directed Graphs
Jan Kratochvíl, Zsolt Tuza