Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
start [2015/06/23 00:00] rmayr |
start [2017/12/26 18:32] (current) yufang |
||
---|---|---|---|
Line 14: | Line 14: | ||
as the progress made by SAT-solvers on NP-hard logic problems. | as the progress made by SAT-solvers on NP-hard logic problems. | ||
- | {{ :incprob.jpg?nolink&500 |An Example of Language Inclusion Problems}} | + | {{ :incprob.jpg?nolink |An Example of Language Inclusion Problems}}\\ |
- | + | ||
{{:Slides2014.pdf|Slides of an overview talk on language inclusion and automata minimization.}} | {{:Slides2014.pdf|Slides of an overview talk on language inclusion and automata minimization.}} | ||